Research

Publications

2017
[bibtex] Leonore WintererSebastian JungesRalf WimmerNils JansenUfuk TopcuJoost-Pieter KatoenBernd BeckerMotion Planning under Partial Observability using Game-Based Abstraction. Proc. of CDC, IEEE, 2017.
[bibtex] Matthias VolkSebastian JungesJoost-Pieter KatoenFast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics, 2017.
Download
[bibtex]
Joost-Pieter KatoenTweaking The Odds: Parameter Synthesis in Markov Models (Abstract). Prof. of ICTAC, Volume of LNCS, pages 1-2, Springer, 2017.