Jean-François Raskin
Université Libre de Bruxelles
H-index: 53
Europe-Belgium
Top articles of Jean-François Raskin
SynthLearn: A Tool for Guided Reactive Synthesis
2024/3/20
Emmanuel Filiot
H-Index: 16
Jean-François Raskin
H-Index: 26
As Soon as Possible but Rationally
arXiv preprint arXiv:2403.00399
2024/3/1
Jean-François Raskin
H-Index: 26
Proceedings of the 34th International Conference on Concurrency Theory (CONCUR 2023)
2007/7/9
34th International Conference on Concurrency Theory
2023/9
Jean-François Raskin
H-Index: 26
Formally-sharp dagger for MCTS: lower-latency monte Carlo tree search using data aggregation with formal methods
arXiv preprint arXiv:2308.07738
2023/8/15
Debraj Chakraborty
H-Index: 0
Jean-François Raskin
H-Index: 26
LTL reactive synthesis with a few hints
2023/4/20
Emmanuel Filiot
H-Index: 16
Jean-François Raskin
H-Index: 26
Rational verification and checking for Nash and subgame-perfect equilibria in graph games
arXiv preprint arXiv:2301.12913
2023/1/30
Jean-François Raskin
H-Index: 26
LIPIcs, Volume 279, CONCUR 2023, Complete Volume
2023
Jean-François Raskin
H-Index: 26
Rational verification for nash and subgame-perfect equilibria in graph games
2023
Jean-François Raskin
H-Index: 26
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Logical Methods in Computer Science
2023/10/25
Jean-François Raskin
H-Index: 26
Bi-objective lexicographic optimization in markov decision processes with related objectives
2023
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
2022/12/28
Jean-François Raskin
H-Index: 26
Krishnendu Chatterjee
H-Index: 43
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
arXiv preprint arXiv:2211.03461
2022/11/7
: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
2022/11
Jean-François Raskin
H-Index: 26
Davide Bresolin
H-Index: 14
Correction to: Reactive synthesis without regret
Acta Informatica
2022/10/1
Jean-François Raskin
H-Index: 26
Lifted model checking for relational MDPs
Machine Learning
2022/10
Jean-François Raskin
H-Index: 26
Luc De Raedt
H-Index: 32
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
International Journal on Software Tools for Technology Transfer
2022/8
Strategy Synthesis for Global Window PCTL
arXiv preprint arXiv:2204.14107
2022/4/25
Jean-François Raskin
H-Index: 26
Stackelberg-Pareto synthesis (extended version)
arXiv preprint arXiv:2203.01285
2022/3/2
Jean-François Raskin
H-Index: 26
Pareto-rational verification
arXiv preprint arXiv:2202.13485
2022/2/27
Jean-François Raskin
H-Index: 26