Jean-François Raskin
Université Libre de Bruxelles
H-index: 53
Europe-Belgium
Top articles of Jean-François Raskin
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SynthLearn: A Tool for Guided Reactive Synthesis | Mrudula Balachander Emmanuel Filiot Jean-François Raskin | 2024/3/20 | |
As Soon as Possible but Rationally | arXiv preprint arXiv:2403.00399 | Véronique Bruyère Christophe Grandmont Jean-François Raskin | 2024/3/1 |
LTL reactive synthesis with a few hints | Mrudula Balachander Emmanuel Filiot Jean-François Raskin | 2023/4/20 | |
Subgame-perfect Equilibria in Mean-payoff Games (journal version) | Logical Methods in Computer Science | Léonard Brice Marie van den Bogaard JEan-François Raskin | 2023/10/25 |
Rational verification and checking for Nash and subgame-perfect equilibria in graph games | arXiv preprint arXiv:2301.12913 | Léonard Brice Jean-François Raskin Marie van den Bogaard | 2023/1/30 |
Bi-objective lexicographic optimization in markov decision processes with related objectives | Damien Busatto-Gaston Debraj Chakraborty Anirban Majumdar Sayan Mukherjee Guillermo A Pérez | 2023 | |
LIPIcs, Volume 279, CONCUR 2023, Complete Volume | Guillermo A Pérez Jean-François Raskin | 2023 | |
Proceedings of the 34th International Conference on Concurrency Theory (CONCUR 2023) | Lars Arge Christian Cachin Tomasz Jurdziński Andrzej Tarlecki | 2007/7/9 | |
Rational verification for nash and subgame-perfect equilibria in graph games | Léonard Brice Jean-François Raskin Marie van den Bogaard | 2023 | |
34th International Conference on Concurrency Theory | Guillermo A Pérez Jean-François Raskin | 2023/9 | |
Formally-sharp dagger for MCTS: lower-latency monte Carlo tree search using data aggregation with formal methods | arXiv preprint arXiv:2308.07738 | Debraj Chakraborty Damien Busatto-Gaston Jean-François Raskin Guillermo A Pérez | 2023/8/15 |
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains | arXiv preprint arXiv:2211.03461 | Gavin Rens Wen-Chi Yang Jean-François Raskin Luc De Raedt | 2022/11/7 |
Strategy Synthesis for Global Window PCTL | arXiv preprint arXiv:2204.14107 | Benjamin Bordais Damien Busatto-Gaston Shibashis Guha Jean-François Raskin | 2022/4/25 |
Pareto-rational verification | arXiv preprint arXiv:2202.13485 | Véronique Bruyère Jean-François Raskin Clément Tamines | 2022/2/27 |
: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020) | Jean-François Raskin Davide Bresolin | 2022/11 | |
The complexity of SPEs in mean-payoff games | arXiv preprint arXiv:2202.08499 | Léonard Brice Jean-François Raskin Marie van den Bogaard | 2022/2/17 |
On the Complexity of SPEs in Parity Games | Marie van den Bogaard Léonard Brice Jean-François Raskin | 2022/2/14 | |
Correction to: Reactive synthesis without regret | Acta Informatica | Paul Hunter Guillermo A Pérez Jean-François Raskin | 2022/10/1 |
Lifted model checking for relational MDPs | Machine Learning | Wen-Chi Yang Jean-François Raskin Luc De Raedt | 2022/10 |
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday | Jean-François Raskin Krishnendu Chatterjee Laurent Doyen Rupak Majumdar | 2022/12/28 |