The paper entitled “Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming” by Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, and Joost-Pieter Katoen has been accepted for publication in the journal Information and Computation. The paper presents a novel condition on barrier certificates that witnesses unbounded-time safety of differential dynamical systems and provides […]
The paper entitled “The Probabilistic Termination Tool Amber” by Ezio Bartocci, Marcel Moosbrugger, Joost-Pieter Katoen and Laura Kovacs has been accepted in a special issue devoted to the Formal Methods Symposium 2021 in the journal Formal Methods in System Design. The paper describes a tool that can automatically check whether a probabilistic program (of a […]
The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST), Joost-Pieter Katoen, Stephanie Mohr (TUM), Maximilain Weininger (TUM) and Tobias Winkler has been accepted fior publication in special issue devoted to CAV 2020 in the journal Formal Methods in System Design. The paper considers presents a detailed study of stochastic turn-based games (SG) […]
The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted in Journal of the ACM. The paper defines a formal semantics (based on stochastic kernels and Markov processes) of a probabilistic version of the Datalog querying language for probabilistic databases storing data with continuous […]
The paper entitled “Reasoning about Distributed Reconfigurable Systems” by Emma Ahrens (RWTH), Marius Bozga (Grenoble), Radu Iosif (Grenoble) and Joost-Pieter Katoen has been accepted for presentation at the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2022) in Auckland, New Zealand. The paper presents a resource-based program logic for (local) reasoning about safety […]
The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR), to be held in Warsaw. The paper proposes a variant of Quantitative Separation Logic (QSL) for reasoning about concurrent probabilistic programs.
The paper entitled “POMDP Controllers With Optimal Budget” by Jip Spel, Svenja Stein and Joost-Pieter Katoen has been accepted for presentation at the 18th International Conference on Quantitative Evaluation of SysTems (QEST) in Warsaw, Poland. The paper tackles the problem of finding “almost optimal” valuations for parametric Markov chains, such that the expected reward to […]
The paper entitled “Inductive Synthesis of Finite-State Controllers for POMDPs” by Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen has been accepted for the 38th Conference on Uncertainty in Artificial Intelligence (UAI) in Eindhoven, The Netherlands. The paper was one of the 230 accepted papers out of 718 submissions. The paper proposes an inductive synthesis-based approach for the synthesis […]
The North Rhine-Westphalian Academy of Sciences, Humanities and the Arts has elected Joost-Pieter Katoen as ordinary member. Katoen is the third computer scientist from RWTH Aachen University that has become a member of AKW-NRW. The other CS members are Wil van der Aalst and Leif Kobbelt.
The paper entitled “Scenario-Based Verification of Uncertain Parametric MDPs” by Thom Badings, Nils Jansen, and Sebastian Junges (all Radboud University Nijmegen, NL), Murat Cubuktepe and Ufuk Topcu (UT Austin, USA) and Joost-Pieter Katoen has been accepted in the International Journal on Software Tools for Technology Transfer (special issue devoted to TACAS 2020). The paper focuses on […]