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
A linear process-algebraic format with data for probabilistic automata
TL;DR: This paper presents a novel linear process-algebraic format for probabilistic automata that generalises similar techniques for traditional process algebras with data, and treats data and data-dependent probabilists choice in a fully symbolic manner, leading to the symbolic analysis of parameterised probabilism systems.
Proceedings ArticleDOI
New Results on Abstract Probabilistic Automata
Benoît Delahaye,Joost-Pieter Katoen,Kim Guldstrand Larsen,Axel Legay,Mikkel L. Pedersen,Falak Sher,Andrzej Wasowski +6 more
TL;DR: This paper discusses APAs over dissimilar alphabets, a determinisation operator, conjunction of non-deterministic APAs, and an APA-embedding of Interface Automata, and concludes introducing a tool for automatic manipulation of APAs.
Journal Article
MoDeST: A compositional modeling formalism for real-time and stochastic systems
Book ChapterDOI
Simple Strategies in Multi-Objective MDPs
TL;DR: It is shown that checking whether a point is achievable by a pure stationary strategy is NP-complete, even for two objectives, and the author provides an MILP encoding to solve the corresponding problem.
Book ChapterDOI
Multi-cost Bounded Reachability in MDP
TL;DR: The need for output beyond Pareto curves is discussed and the available information from the algorithm is exploited to support decision makers and show the algorithm’s scalability.