Joost-Pieter Katoen

Paper Accepted at CDC 2017
July 13, 2017
The paper entitled “Motion Planning under Partial Observability using Game-Based Abstraction” by Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker has been accepted for …
Paper accepted at SRDS 2017
June 26, 2017
The paper entitled “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” by Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann has been accepted at SRDS 2017 in Hongkong. …
Paper accepted at SafeComp 2017
June 26, 2017
The paper entitled “Model-Based Safety Analysis of Vehicle Guidance Systems” by Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk, has been accepted at SafeComp 2017. The paper …