Follow
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Verified email at ulb.ac.be - Homepage
Title
Cited by
Cited by
Year
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
L Brice, JF Raskin, M Sassolas, G Scerri, M Bogaard
arXiv preprint arXiv:2405.18958, 2024
2024
Stackelberg-pareto synthesis
V Bruyère, B Fievet, JF Raskin, C Tamines
ACM Transactions on Computational Logic 25 (2), 1-49, 2024
92024
SynthLearn: A Tool for Guided Reactive Synthesis
M Balachander, E Filiot, JF Raskin
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
As Soon as Possible but Rationally
V Bruyère, C Grandmont, JF Raskin
arXiv preprint arXiv:2403.00399, 2024
2024
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
L Brice, M van den Bogaard, JF Raskin
Logical Methods in Computer Science 19, 2023
2023
Bi-objective lexicographic optimization in Markov decision processes with related objectives
D Busatto-Gaston, D Chakraborty, A Majumdar, S Mukherjee, GA Pérez, ...
International Symposium on Automated Technology for Verification and …, 2023
52023
34th International Conference on Concurrency Theory
GA Pérez, JF Raskin
2023
Formally-sharp dagger for MCTS: lower-latency monte carlo tree search using data aggregation with formal methods
D Chakraborty, D Busatto-Gaston, JF Raskin, GA Pérez
arXiv preprint arXiv:2308.07738, 2023
22023
LTL reactive synthesis with a few hints
M Balachander, E Filiot, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2023
62023
Rational verification and checking for Nash and subgame-perfect equilibria in graph games
L Brice, JF Raskin, M Bogaard
arXiv preprint arXiv:2301.12913, 2023
22023
34th International Conference on Concurrency Theory: CONCUR 2023, September 18-23, 2023, Antwerp, Belgium
GA Pérez, JF Raskin
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
LIPIcs, Volume 279, CONCUR 2023, Complete Volume
GA Pérez, JF Raskin
34th International Conference on Concurrency Theory (CONCUR 2023), 2023
2023
Rational verification for nash and subgame-perfect equilibria in graph games
L Brice, JF Raskin, M van den Bogaard
48th International Symposium on Mathematical Foundations of Computer Science …, 2023
52023
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
JF Raskin, K Chatterjee, L Doyen, R Majumdar
Springer Nature, 2022
12022
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
G Rens, WC Yang, JF Raskin, L De Raedt
arXiv preprint arXiv:2211.03461, 2022
2022
: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
JF Raskin, D Bresolin
2022
Correction to: Reactive synthesis without regret.
P Hunter, GA Pérez, JF Raskin
Acta Informatica 59 (5), 2022
12022
Lifted model checking for relational MDPs
WC Yang, JF Raskin, L De Raedt
Machine Learning 111 (10), 3797-3838, 2022
22022
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
J Esparza, J Křetínský, JF Raskin, S Sickert
International Journal on Software Tools for Technology Transfer 24 (4), 635-659, 2022
62022
Strategy Synthesis for Global Window PCTL
B Bordais, D Busatto-Gaston, S Guha, JF Raskin
arXiv preprint arXiv:2204.14107, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20