Follow
Mickael Randour
Mickael Randour
FNRS & UMONS
Verified email at umons.ac.be - Homepage
Title
Cited by
Cited by
Year
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
Acta informatica 51 (3), 129-163, 2014
1162014
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
V Bruyère, E Filiot, M Randour, JF Raskin
STACS 2014 - Symposium on Theoretical Aspects of Computer Science, 199-213, 2014
902014
Percentile queries in multi-dimensional Markov decision processes
M Randour, JF Raskin, O Sankur
CAV 2015 - International Conference on Computer Aided Verification, 123-139, 2015
802015
Looking at mean-payoff and total-payoff through windows
K Chatterjee, L Doyen, M Randour, JF Raskin
ATVA 2013 - Automated Technology for Verification and Analysis, 118-132, 2013
602013
Variations on the stochastic shortest path problem
M Randour, JF Raskin, O Sankur
VMCAI 2015 - Verification, Model Checking, and Abstract Interpretation, 1-18, 2014
532014
Non-Zero Sum Games for Reactive Synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
LATA 2016 - International Conference on Language and Automata Theory and …, 2015
522015
Average-energy games
P Bouyer, N Markey, M Randour, KG Larsen, S Laursen
GandALF 2015 - International Symposium on Games, Automata, Logics and Formal …, 2015
47*2015
Simple strategies in multi-objective MDPs
F Delgrange, JP Katoen, T Quatmann, M Randour
International Conference on Tools and Algorithms for the Construction and …, 2020
362020
Games where you can play optimally with arena-independent finite memory
P Bouyer, S Le Roux, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 18, 2022
352022
Reachability in networks of register protocols under stochastic schedulers
P Bouyer, N Markey, M Randour, A Sangnier, D Stan
arXiv preprint arXiv:1602.05928, 2016
332016
Threshold constraints with guarantees for parity objectives in Markov decision processes
R Berthon, M Randour, JF Raskin
arXiv preprint arXiv:1702.05472, 2017
242017
Window parity games: an alternative approach toward parity games with time bounds
V Bruyère, Q Hautem, M Randour
arXiv preprint arXiv:1606.01831, 2016
222016
Extending finite-memory determinacy by Boolean combination of winning conditions
SL Roux, A Pauly, M Randour
arXiv preprint arXiv:1808.05791, 2018
202018
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
P Bouyer, M Randour, P Vandenhove
TheoretiCS 2, 2023
192023
Automated synthesis of reliable and efficient systems through game theory: a case study
M Randour
ECCS 2012 - European Conference on Complex Systems, 731-738, 2013
192013
Arena-independent finite-memory determinacy in stochastic games
P Bouyer, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 19, 2023
172023
Games on graphs
N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ...
arXiv preprint arXiv:2305.10546, 2023
142023
Bounding average-energy games
P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann
Foundations of Software Science and Computation Structures: 20th …, 2017
142017
Half-Positional Objectives Recognized by Deterministic B\" uchi Automata
P Bouyer, A Casares, M Randour, P Vandenhove
Logical Methods in Computer Science 20, 2024
132024
Life is random, time is not: Markov decision processes with window objectives
T Brihaye, F Delgrange, Y Oualhadj, M Randour
Logical Methods in Computer Science 16, 2020
112020
The system can't perform the operation now. Try again later.
Articles 1–20