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
Book
CONCUR 2011 - concurrency theory : 22st International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
TL;DR: The refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011, were published in this article.
Journal ArticleDOI
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
TL;DR: It is shown that this set of paths is measurable and computing its probability can be reduced to computing the reachability probability in a piecewise deterministic Markov process (PDP).
Parameter synthesis for probabilistic systems
Christian Dehnert,Sebastian Junges,Nils Jansen,Florian Corzilius,Matthias Volk,Joost-Pieter Katoen,Erika Ábrahám,Harold Bruintjes +7 more
TL;DR: This work focuses on so-called parametric Markov chains, where the model checking goal is to compute rational functions, i.
Reduction Techniques for Nondeterministic and Probabilistic Systems
TL;DR: This thesis develops a framework of layering for modal transition systems and probabilistic versions thereof by developing new equivalence relations for nondeterministic and Markovian models and defines a quotient system, which is then investigated and proved to preserve interesting linear-time properties.
Book ChapterDOI
Tight Game Abstractions of Probabilistic Automata
TL;DR: This work presents a new game-based abstraction technique for probabilistic automata (PA) that yields tighter upper and lower bounds on (extremal) reachability probabilities than state-based abstractions, showing the potential superiority over state- based abstraction of PA and Markov decision processes.