1. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press.
2. Raphaël Berthon Nathanaël Fijalkow Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Sophie Pinchinat Sasha Rubin and Olivier Serre. 2020. Alternating Tree Automata with Qualitative Semantics. CoRR abs/2002.03664 (2020). Raphaël Berthon Nathanaël Fijalkow Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Sophie Pinchinat Sasha Rubin and Olivier Serre. 2020. Alternating Tree Automata with Qualitative Semantics. CoRR abs/2002.03664 (2020).
3. Raphaël Berthon Shibashis Guha and Jean-François Raskin. 2020. Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. (2020). arXiv:cs.LO/2004.13789 Raphaël Berthon Shibashis Guha and Jean-François Raskin. 2020. Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. (2020). arXiv:cs.LO/2004.13789