J
Joost-Pieter Katoen
Researcher at RWTH Aachen University
Publications - 488
Citations - 20723
Joost-Pieter Katoen is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Probabilistic logic & Markov chain. The author has an hindex of 63, co-authored 461 publications receiving 19043 citations. Previous affiliations of Joost-Pieter Katoen include University of Erlangen-Nuremberg & University of Twente.
Papers
More filters
Journal ArticleDOI
Parameter Synthesis in Markov Models: A Gentle Survey
TL;DR: The main ideas underlying state-of-the-art algorithms that established an impressive leap over the last decade enabling the fully automated analysis of models with millions of states and thousands of parameters are described.
Journal ArticleDOI
Reasoning about distributed reconfigurable systems
TL;DR: An induction-based proof system is developed, that uses a parallel composition rule in the style of assume/rely-guarantee reasoning, to prove havoc invariants for networks of any size.
Book ChapterDOI
A Compositional Semantics for Repairable BDMPs
TL;DR: This paper presents a rigorous semantics to repairable BDMPs using Markov automata (MA), a variant of continuous-time Markov chains (CTMCs) with action transitions, and experimentally shows that it corresponds to the BDMP interpretation by the tool Yet Another Monte Carlo Simulation.
Proceedings ArticleDOI
Correct-by-construction policies for POMDPs
Nils Jansen,Sebastian Junges,Joost-Pieter Katoen,Tim Quatmann,Bernd Becker,Ralf Wimmer,Leonore Winterer +6 more
TL;DR: The key insight is that computing (randomized) FSCs on POMDPs is equivalent to---and computationally as hard as---synthesis for parametric Markov chains (pMCs.
Book ChapterDOI
Model checking Markov chains using Krylov subspace methods: an experience report
TL;DR: A Krylov-based extension to MRMC (Markov Reward Model Checker) is implemented and extensive experiments reveal that the Kry Lavrov-based technique is an order of magnitude faster on stiff CTMCs.