Publications
| 2017 | |
|---|---|
| [bibtex] | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Motion Planning under Partial Observability using Game-Based Abstraction. Proc. of CDC, IEEE, 2017. |
| [bibtex] | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics, 2017. |
 [bibtex] |
Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract). Prof. of ICTAC, Volume of LNCS, pages 1-2, Springer, 2017. |