| Andreas Herzig |
Research director at CNRS, Computer Science, University of Toulouse, IRIT, LILaC (Logic, Interaction, Language, and Computation Group). |
| Jonathan Ben-Naim |
CNRS researcher, Computer Science, University of Toulouse, IRIT, LILaC (Logic, Interaction, Language, and Computation Group). |
| Christel Baier |
Full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden (Model checking, LTL, Markov decision process). |
| Sascha Klüppelholz |
Dr.-Ing. in the team for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden (Model checking, LTL, Markov decision process). |
| Jakob Piribauer |
Post-doctoral researcher at the Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden (Verifiaction of probabilistic systems). |
| Johannes Lehmann |
Ph.D. student at the Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden (Causality and responsibility in model checking). |
