| Strategy synthesis for multi-dimensional quantitative objectives K Chatterjee, M Randour, JF Raskin Acta informatica 51 (3-4), 129-163, 2014 | 108 | 2014 |
| 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 | 82 | 2014 |
| 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 | 67 | 2015 |
| 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 | 56 | 2013 |
| Variations on the stochastic shortest path problem M Randour, JF Raskin, O Sankur VMCAI 2015 - Verification, Model Checking, and Abstract Interpretation, 1-18, 2014 | 49 | 2014 |
| 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 | 48 | 2015 |
| Average-energy games P Bouyer, N Markey, M Randour, KG Larsen, S Laursen GandALF 2015 - International Symposium on Games, Automata, Logics and Formal …, 2015 | 44* | 2015 |
| 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 | 30 | 2022 |
| 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 | 28 | 2016 |
| Simple strategies in multi-objective MDPs F Delgrange, JP Katoen, T Quatmann, M Randour Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 27 | 2020 |
| 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 | 23 | 2016 |
| Extending finite-memory determinacy by Boolean combination of winning conditions SL Roux, A Pauly, M Randour arXiv preprint arXiv:1808.05791, 2018 | 21 | 2018 |
| Threshold constraints with guarantees for parity objectives in Markov decision processes R Berthon, M Randour, JF Raskin arXiv preprint arXiv:1702.05472, 2017 | 20 | 2017 |
| 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 | 18 | 2013 |
| Arena-independent finite-memory determinacy in stochastic games P Bouyer, Y Oualhadj, M Randour, P Vandenhove arXiv preprint arXiv:2102.10104, 2021 | 17 | 2021 |
| Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs P Bouyer, M Randour, P Vandenhove arXiv preprint arXiv:2110.01276, 2021 | 14 | 2021 |
| Bounding average-energy games P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann Foundations of Software Science and Computation Structures: 20th …, 2017 | 13 | 2017 |
| Energy mean-payoff games V Bruyère, Q Hautem, M Randour, JF Raskin arXiv preprint arXiv:1907.01359, 2019 | 10 | 2019 |
| Half-Positional Objectives Recognized by Deterministic B\" uchi Automata P Bouyer, A Casares, M Randour, P Vandenhove arXiv preprint arXiv:2205.01365, 2022 | 9 | 2022 |
| 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 | 8 | 2020 |
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Bestätigte E-Mail-Adresse bei ulb.ac.be
