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. |