Raskin, Jean-François

2 publications

MLJ 2022 Lifted Model Checking for Relational MDPs Wen-Chi Yang, Jean-François Raskin, Luc De Raedt

AAAI 2017 Optimizing Expectation with Guarantees in POMDPs Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic