2024

• Bouyer, P., Casares, A., Randour, M., & Vandenhove, P. (29 August 2024). Half-Positional Objectives Recognized by Deterministic Büchi Automata. "Logical Methods in Computer Science, 20" (3), 19:1-19:42. doi:10.46298/lmcs-20(3:19)2024
  • 2205.01365.pdf

2023

• Bouyer, P., Oualhadj, Y., Randour, M., & Vandenhove, P. (01 December 2023). Arena-Independent Finite-Memory Determinacy in Stochastic Games. "Logical Methods in Computer Science, 19" (4), 18:1-18:51. doi:10.46298/lmcs-19(4:18)2023
  • 2102.10104v7.pdf
• Bouyer, P., Randour, M., & Vandenhove, P. (16 January 2023). Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. "TheoretiCS, 2", 1-48.
  • theoretiCS2-1.pdf

• Randour, M. (24 August 2023). "Half-Positional Objectives Recognized by Deterministic Büchi Automata (Invited Talk)" [Paper presentation]. IJCAI 2023, Thirty-Second International Joint Conference on Artificial Intelligence, Macao, China.
  • Randour.pdf

• Brihaye, T., Goeminne, A., Main, J., & Randour, M. (December 2023). Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk). "Leibniz International Proceedings in Informatics, 284", 1:1-1:26. doi:10.4230/LIPIcs.FSTTCS.2023.1
  • LIPIcs.FSTTCS.2023.1.pdf
• Bouyer, P., Casares, A., Randour, M., & Vandenhove, P. (2023). Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). "IJCAI - International Joint Conference on Artificial Intelligence". doi:10.24963/ijcai.2023/713
  • 0713.pdf
• Bouyer, P., Fijalkow, N., Randour, M., & Vandenhove, P. (05 July 2023). How to Play Optimally for Regular Objectives? "Leibniz International Proceedings in Informatics, 261", 118:1-118:18. doi:10.4230/LIPIcs.ICALP.2023.118
  • LIPIcs-ICALP-2023-118.pdf

• Vandenhove, P. (2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Doctoral thesis, UMONS - Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/46092
  • vandenhove_thesis.pdf

• Randour, M. (2023). "Fascinante, l’IA va bouleverser la recherche et la société ! (interview)". Belgium: FNRS.

• Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). "À vous de jouer !"
  • JMS2023.pdf

2022

• Bouyer, P., Brihaye, T., Randour, M., Rivière, C., & Vandenhove, P. (November 2022). Decisiveness of stochastic systems and its application to hybrid models. "Information and Computation, 289" (B), 104861. doi:10.1016/j.ic.2021.104861
  • 2009.13152.pdf
• Bouyer, P., Le Roux, S., Oualhadj, Y., Randour, M., & Vandenhove, P. (2022). Games Where You Can Play Optimally with Arena-Independent Finite Memory. "Logical Methods in Computer Science, 18" (1). doi:10.46298/LMCS-18(1:11)2022
  • 2001.03894.pdf

• Randour, M. (27 January 2022). "Distances and refinement mechanisms in many-sided reactive synthesis" [Paper presentation]. UMONS Formal Methods Reading Group.

• Bouyer, P., Randour, M., & Vandenhove, P. (12 December 2022). The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk). "Leibniz International Proceedings in Informatics, 250", 18. doi:10.4230/LIPIcs.FSTTCS.2022.3
  • LIPIcs-FSTTCS-2022-3.pdf
• Bouyer, P., Casares, A., Randour, M., & Vandenhove, P. (06 September 2022). Half-Positional Objectives Recognized by Deterministic Büchi Automata. "Leibniz International Proceedings in Informatics, 243", 20:1-20:18. doi:10.4230/LIPIcs.CONCUR.2022.20
  • 2205.01365.pdf
• Bouyer, P., Randour, M., & Vandenhove, P. (09 March 2022). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. "Leibniz International Proceedings in Informatics, 219", 16:1-16:16. doi:10.4230/LIPIcs.STACS.2022.16
  • 2110.01276.pdf
• Main, J., Randour, M., & Sproston, J. (2022). Timed Games with Bounded Window Parity Objectives. "Lecture Notes in Computer Science, 13465", 165-182. doi:10.1007/978-3-031-15839-1_10
  • 2205.04197.pdf
• Main, J., & Randour, M. (2022). Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions. "Leibniz International Proceedings in Informatics, 243", 22:1-22:18. doi:10.4230/LIPIcs.CONCUR.2022.22
  • 2201.10825.pdf

• Bouyer, P., Fijalkow, N., Randour, M., & Vandenhove, P. (2022). "How to Play Optimally for Regular Objectives?" ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/44195. doi:10.48550/arXiv.2210.09703
  • mainArxiv.pdf

• Randour, M. (2022). "Jouer n'est pas qu'un jeu!"
  • ARD2022.pdf
• Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). "À vous de jouer !"

2021

• Randour, M. (16 April 2021). "Games Where You Can Play Optimally With Finite Memory" [Paper presentation]. International Workshop on Formal Methods in AI, London, United Kingdom.
  • FMAI2021.pdf

• Main, J., Randour, M., & Sproston, J. (23 August 2021). Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. "Leibniz International Proceedings in Informatics, 203", 25:1-25:16. doi:10.4230/LIPIcs.CONCUR.2021.25
  • 2105.06686.pdf
• Bouyer, P., Oualhadj, Y., Randour, M., & Vandenhove, P. (23 August 2021). Arena-Independent Finite-Memory Determinacy in Stochastic Games. "Leibniz International Proceedings in Informatics, 203", 26:1-26:18. doi:10.4230/LIPIcs.CONCUR.2021.26
  • 2102.10104.pdf

2020

• Brihaye, T., Delgrange, F., Oualhadj, Y., & Randour, M. (14 December 2020). Life is Random, Time is Not: Markov Decision Processes with Window Objectives. "Logical Methods in Computer Science, 16" (4), 13:1-13:30. doi:10.23638/LMCS-16(4:13)2020
  • 1901.03571.pdf

• Bouyer, P., Brihaye, T., Randour, M., Rivière, C., & Vandenhove, P. (21 September 2020). Decisiveness of Stochastic Systems and its Application to Hybrid Models. "Electronic Proceedings in Theoretical Computer Science, 326", 149-165. doi:10.4204/EPTCS.326.10
  • 2001.04347.pdf
• Bouyer, P., Le Roux, S., Oualhadj, Y., Randour, M., & Vandenhove, P. (01 September 2020). Games Where You Can Play Optimally with Arena-Independent Finite Memory. "Leibniz International Proceedings in Informatics, 171", 24:1-24:22. doi:10.4230/LIPIcs.CONCUR.2020.24
  • 2001.03894.pdf
• Delgrange, F., Katoen, J.-P., Quatmann, T., & Randour, M. (25 April 2020). Simple Strategies in Multi-Objective MDPs. "Lecture Notes in Computer Science, 12078", 346-364. doi:10.1007/978-3-030-45190-5_19
  • 1910.11024.pdf

• Randour, M. (2020). "Les éclaireurs : la première ligne de soins, la théorie des jeux et les bugs informatiques". RTBF La Première.

2019

• Randour, M. (22 November 2019). "Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives (invited talk)" [Paper presentation]. LSV working group, ENS Paris-Saclay, Cachan, France.
  • LSVGT2019.pdf
• Randour, M. (10 October 2019). "Games Where You Can Play Optimally With Finite Memory" [Paper presentation]. GT ALGA annual meeting 2019, Paris, France.
  • GTALGA2019.pdf
• Randour, M. (18 September 2019). "Games Where You Can Play Optimally With Finite Memory" [Paper presentation]. Highlights of Logic, Games and Automata, Warsaw, Poland.
  • Highlights2019.pdf
• Randour, M. (12 September 2019). "Extending finite-memory determinacy by Boolean combination of winning conditions" [Paper presentation]. 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.
  • RP2019.pdf
• Randour, M. (22 June 2019). "Extending finite-memory determinacy by Boolean combination of winning conditions" [Paper presentation]. 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada.
  • MoRe2019.pdf
• Randour, M. (24 April 2019). "Rich behavioral models: illustration on journey planning (invited talk)" [Paper presentation]. LSV seminar, ENS Paris-Saclay, Cachan, France.
  • LSV2019.pdf
• Randour, M. (14 March 2019). "Rich behavioral models: illustration on journey planning (invited talk)" [Paper presentation]. GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgium.
  • GAMENET2019.pdf
• Randour, M. (15 January 2019). "Journey planning in uncertain environments, the multi-objective way" [Paper presentation]. Complex Systems think tank, Mons, Belgium.
  • ComplexSystems2019.pdf
• Randour, M. (15 January 2019). "Journey planning in uncertain environments, the multi-objective way" [Paper presentation]. Complex Systems think tank.
  • ComplexSystems2019.pdf

• Brihaye, T., Delgrange, F., Oualhadj, Y., & Randour, M. (20 August 2019). Life is Random, Time is Not: Markov Decision Processes with Window Objectives. "Leibniz International Proceedings in Informatics, 140", 8:1-8:18. doi:10.4230/LIPIcs.CONCUR.2019.8
  • 1901.03571.pdf
• Bruyère, V., Hautem, Q., Randour, M., & Raskin, J.-F. (2019). Energy Mean-Payoff Games. "Leibniz International Proceedings in Informatics, 140", 21:1-21:17. doi:10.4230/LIPIcs.CONCUR.2019.21
  • 1907.01359.pdf

• Randour, M. (2019). "Pint of Science Mons 2019" [Paper presentation]. Pint of Science.

• Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). "A vous de jouer !"
  • JMS2019.pdf

2018

• Bouyer, P., Markey, N., Larsen, K. G., Laursen, S., & Randour, M. (01 March 2018). Average-energy games. "Acta Informatica, 55" (2), 91-127. doi:10.1007/s00236-016-0274-1
  • 1512.08106.pdf

• Randour, M. (19 October 2018). "Answering reachability problems in Markov decision processes using learning algorithms" [Paper presentation]. L² meeting, Mons, Belgium.
  • L2_2018.pdf
• Randour, M. (29 May 2018). "Rich behavioral models: illustration on journey planning (invited session)" [Paper presentation]. GT Vérification, Grenoble, France.
  • GTVérif2018.pdf
• Randour, M. (18 January 2018). "Rich behavioral models: illustration on journey planning (invited talk)" [Paper presentation]. Verification seminar - University of Oxford, Oxford, United Kingdom.
  • Oxford2018.pdf

• Le Roux, S., Pauly, A., & Randour, M. (10 December 2018). Extending finite-memory determinacy by Boolean combination of winning conditions. "Leibniz International Proceedings in Informatics, 122", 38:1-38:21. doi:10.4230/LIPIcs.FSTTCS.2018.38
  • 1808.05791.pdf
• Bouyer, P., Gonzalez, M., Markey, N., & Randour, M. (26 September 2018). Multi-weighted Markov decision processes with reachability objectives. "Electronic Proceedings in Theoretical Computer Science, 277", 250-264. doi:10.4204/EPTCS.277.18
  • 1809.03107.pdf

• Randour, M. (2018). "Prévenir les bugs informatiques". FNRS.tv.

• Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). "A vous de jouer !"
  • JMS2018.pdf

2017

• Randour, M., Raskin, J.-F., & Sankur, O. (01 January 2017). Percentile Queries in Multi-Dimensional Markov Decision Processes. "Formal Methods in System Design, 50" (2), 207-248. doi:10.1007/s10703-016-0262-7
  • 1410.4801.pdf
• Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (01 January 2017). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. "Information and Computation, 254", 259-295. doi:10.1016/j.ic.2016.10.011
  • 1309.5439.pdf

• Randour, M. (13 September 2017). "Rich behavioral models: illustration on journey planning (invited session talk)" [Paper presentation]. Highlights of Logic, Games and Automata, London, United Kingdom.
  • HIGHLIGHTS2017.pdf
• Randour, M. (25 April 2017). "Bounding Average-Energy Games" [Paper presentation]. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala, Sweden.
  • FoSSaCS2017.pdf
• Randour, M. (29 March 2017). "Bounding Average-Energy Games" [Paper presentation]. MFV seminar - ULB, Brussels, Belgium.
  • MFV2017.pdf
• Randour, M. (20 March 2017). "Rich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processes (invited talk)" [Paper presentation]. Informatik Kolloquium - RWTH Aachen, Aachen, Germany.
  • RWTH2017.pdf

• Berthon, R., Randour, M., & Raskin, J.-F. (10 July 2017). Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. "Leibniz International Proceedings in Informatics, 80", 121:1-121:15. doi:10.4230/LIPIcs.ICALP.2017.121
  • 1702.05472.pdf
• Bouyer, P., Hofman, P., Randour, M., Markey, N., & Zimmermann, M. (01 January 2017). Bounding Average-energy Games. "Lecture Notes in Computer Science, 10203", 179-195. doi:10.1007/978-3-662-54458-7_11
  • 1610.07858.pdf

• Carlier, P. (2017). "Verification of Stochastic Timed Automata" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/11111

2016

• Randour, M. (09 September 2016). "Average-energy games" [Paper presentation]. Highlights of Logic, Games and Automata, Bruxelles, Belgium.
  • HIGHLIGHTS2016.pdf
• Randour, M. (24 July 2016). "Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games" [Paper presentation]. GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Netherlands.
  • GAMES2016.pdf
• Randour, M. (19 May 2016). "Reachability in Networks of Register Protocols under Stochastic Schedulers" [Paper presentation]. MFV seminar - ULB, Brussels, Belgium.
  • MFV2016.pdf
• Randour, M. (21 April 2016). "Planning a journey in an uncertain environment: variations on the stochastic shortest path problem" [Paper presentation]. InforTech Scientific Day, Mons, Belgium.
  • Infortech2016.pdf
• Randour, M. (07 April 2016). "Reachability in Networks of Register Protocols under Stochastic Schedulers (invited talk)" [Paper presentation]. IRISA - INRIA Rennes seminar, Rennes, France.
  • IRISA2016.pdf
• Randour, M. (28 January 2016). "Planning a journey in an uncertain environment" [Paper presentation]. Modeling & Simulation Day - Energie and Complexys Institutes - UMONS, Mons, Belgium.
  • Complexys2016.pdf

• Bruyère, V., Hautem, Q., & Randour, M. (13 September 2016). Window parity games: an alternative approach toward parity games with time bounds. "Electronic Proceedings in Theoretical Computer Science, 226", 135-148. doi:10.4204/EPTCS.226.10
  • Article.pdf
• Brenguier, R., Clemente, L., Hunter, P., Pérez, G., Randour, M., Raskin, J.-F., Sankur, O., & Sassolas, M. (17 March 2016). Non-Zero Sum Games for Reactive Synthesis. "Lecture Notes in Computer Science, 9618", 3-23. doi:10.1007/978-3-319-30000-9_1
  • 1512.05568.pdf
• Bouyer, P., Markey, N., Randour, M., Sangnier, A., & Stan, D. (01 January 2016). Reachability in Networks of Register Protocols under Stochastic Schedulers. "Leibniz International Proceedings in Informatics, 55", 106:1-106:14. doi:10.4230/LIPIcs.ICALP.2016.106
  • 1602.05928.pdf

• Randour, M. (11 January 2016). "Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games" [Paper presentation]. GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Netherlands.
  • 1603.05072.pdf

2015

• Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (01 January 2015). Looking at Mean-Payoff and Total-Payoff through Windows. "Information and Computation, 242", 25-52. doi:10.1016/j.ic.2015.03.010
  • 1302.4248.pdf

• Randour, M. (16 September 2015). "Percentile Queries in Multi-Dimensional Markov Decision Processes" [Paper presentation]. Highlights of Logic, Games and Automata, Prague, Czechia.
  • HIGHLIGHTS2015.pdf
• Randour, M. (11 September 2015). "Synthesis in Multi-Criteria Quantitative Games (invited talk - Ackermann Award lecture)" [Paper presentation]. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany.
  • Ackermann2015.pdf
• Randour, M. (21 July 2015). "Percentile Queries in Multi-Dimensional Markov Decision Processes" [Paper presentation]. 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, United States.
  • CAV2015.pdf
• Randour, M. (09 June 2015). "Average-energy games" [Paper presentation]. Annual seminar of the LSV, Dourdan, France.
  • LSV2015.pdf
• Randour, M. (01 June 2015). "Percentile Queries in Multi-Dimensional Markov Decision Processes (invited talk)" [Paper presentation]. LACL seminar - UPEC, Créteil, France.
  • LACL2015.pdf
• Randour, M. (18 May 2015). "Average-energy games" [Paper presentation]. FIfth CASSTING meeting, Brussels, Belgium.
  • CASSTING2015.pdf
• Randour, M. (13 May 2015). "Planning a journey in an uncertain environment: variations on the stochastic shortest path problem" [Paper presentation]. EDT Complex Meeting - UNamur, Namur, Belgium.
  • EDT2015.pdf
• Randour, M. (12 March 2015). "Average-energy games" [Paper presentation]. ERC Workshop in Verification, Vienne, Austria.
  • ERC2015.pdf
• Randour, M. (25 February 2015). "Games with Window Quantitative Objectives" [Paper presentation]. Frontiers of Formal Methods (FFM 2015), Aachen, Germany.
  • FFM2015.pdf
• Randour, M. (05 February 2015). "Percentile Queries in Multi-Dimensional Markov Decision Processes" [Paper presentation]. Dagstuhl Seminar, 'Non-Zero-Sum-Games and Control', Wadern, Germany.
  • Dagstuhl2015.pdf
• Randour, M. (23 January 2015). "Percentile Queries in Multi-Dimensional Markov Decision Processes" [Paper presentation]. CFV seminar, Brussels, Belgium.
  • CFV2015.pdf

• Randour, M., Raskin, J.-F., & Sankur, O. (12 January 2015). Variations on the Stochastic Shortest Path Problem. "Lecture Notes in Computer Science, 8931", 1-18. doi:10.1007/978-3-662-46081-8_1
  • 1411.0835.pdf
• Randour, M., Raskin, J.-F., & Sankur, O. (01 January 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. "Lecture Notes in Computer Science, 9206", 123-139. doi:10.1007/978-3-319-21690-4_8
  • 1410.4801(1).pdf
• Bouyer, P., Markey, N., Randour, M., Larsen, K. G., & Laursen, S. (01 January 2015). Average-energy games. "Electronic Proceedings in Theoretical Computer Science, 193", 1-15. doi:10.4204/EPTCS.193.1
  • 1512.08106(1).pdf

2014

• Chatterjee, K., Randour, M., & Raskin, J.-F. (01 January 2014). Strategy Synthesis for Multi-Dimensional Quantitative Objectives. "Acta Informatica, 51", 129-163. doi:10.1007/s00236-013-0182-6
  • CRR12.pdf

• Randour, M. (11 December 2014). "Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited (invited talk)" [Paper presentation]. LIF seminar - MOVE research group, Marseille, France.
  • LIF2014.pdf
• Randour, M. (03 September 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games" [Paper presentation]. Highlights of Logic, Games and Automata, Paris, France.
  • HIGHLIGHTS2014.pdf
• Randour, M. (17 June 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)" [Paper presentation]. IST Austria seminar, Klosterneuburg, Austria.
  • IST2014.pdf
• Randour, M. (05 April 2014). "Expectations or Guarantees? I Want It All! A crossroad between games and MDPs" [Paper presentation]. SR - International Workshop on Strategic Reasoning, Grenoble, France.
  • SR2014.pdf
• Randour, M. (05 March 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games" [Paper presentation]. STACS - Symposium on Theoretical Aspects of Computer Science, Lyon, France.
  • STACS2014.pdf
• Randour, M. (23 January 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)" [Paper presentation]. GT Jeux - annual meeting, Paris, France.
  • GTJeux2014.pdf
• Randour, M. (16 January 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)" [Paper presentation]. LaBRI verification seminar, Bordeaux, France.
  • LaBRI2014.pdf

• Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (05 April 2014). Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. "Electronic Proceedings in Theoretical Computer Science, 146", 1-8. doi:10.4204/EPTCS.146.1
  • 1404.0834.pdf
• Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (March 2014). Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. "Leibniz International Proceedings in Informatics, 25", 199-213. doi:10.4230/LIPIcs.STACS.2014.199
  • 16.pdf

• Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games".
  • BFRR14.pdf

• Randour, M. (2014). "Synthesis in Multi-Criteria Quantitative Games" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/33300
  • thesis.pdf

• Bohy, A., Carlier, P., De Pril, J., Oualhadj, Y., & Randour, M. (2014). "Jouer n'est pas qu'un jeu !"
  • JMS2014.pdf

2013

• Randour, M. (16 December 2013). "Looking at Mean-Payoff and Total-Payoff through Windows (invited talk)" [Paper presentation]. LIAFA verification seminar, Paris, France.
  • LIAFA2013.pdf
• Randour, M. (26 November 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)" [Paper presentation]. LSV seminar, ENS Cachan, France.
  • LSV2013.pdf
• Randour, M. (19 November 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
  • MFV2013_2.pdf
• Randour, M. (28 October 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)" [Paper presentation]. Nord Pas de Calais / Belgium Congress of Mathematics, Valenciennes, France.
  • NPCB2013.pdf
• Randour, M. (16 October 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. ATVA - International Symposium on Automated Technology for Verification and Analysis, Hanoï, Vietnam.
  • ATVA2013.pdf
• Randour, M. (01 October 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games" [Paper presentation]. Second Cassting Meeting, Aalborg, Denmark.
  • CASSTING2013_2.pdf
• Randour, M. (20 September 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. Highlights of Logic, Games and Automata, Paris, France.
  • HIGHLIGHTS2013.pdf
• Randour, M. (09 May 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. ERC Workshop on Quantitative Models, Jerusalem, Israel.
  • ERC2013.pdf
• Randour, M. (12 April 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. CASSTING European Project kick-off meeting, Paris, France.
  • CASSTING2013.pdf
• Randour, M. (12 April 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. CASSTING kick-off meeting.
  • CASSTING2013.pdf
• Randour, M. (29 March 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. Centre Fédéré en Vérification, Bruxelles, Belgium.
  • CFV2013.pdf
• Randour, M. (29 March 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. CFV seminar.
  • CFV2013.pdf
• Randour, M. (08 February 2013). "Looking at Mean-Payoff and Total-Payoff through Windows" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
  • MFV2013.pdf

• Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (16 October 2013). Looking at Mean-Payoff and Total-Payoff through Windows. "Lecture Notes in Computer Science, 8172", 118-132. doi:10.1007/978-3-319-02444-8_10
  • 1302.4248(1).pdf

• Randour, M. (2013). "Jouer n'est pas qu'un jeu !"
  • JMS2013.pdf

2012

• Randour, M. (04 September 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives" [Paper presentation]. CONCUR - International Conference on Concurrency Theory, Newcastle, United Kingdom.
  • CONCUR2012.pdf
• Randour, M. (03 September 2012). "Automated synthesis of reliable and efficient systems through game theory: a case study" [Paper presentation]. ECCS - European Conference on Complex Systems, Brussels, Belgium.
  • ECCS2012.pdf
• Randour, M. (08 June 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives" [Paper presentation]. ERC-Workshop on Quantitative and Game Models for the Synthesis of Reactive Systems, Bruxelles, Belgium.
  • ERC2012.pdf
• Randour, M. (18 April 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
  • MFV2012.pdf

• Chatterjee, K., Randour, M., & Raskin, J.-F. (04 September 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. "Lecture Notes in Computer Science, 7454", 115-131. doi:10.1007/978-3-642-32940-1_10
  • CRR12.pdf
• Randour, M. (03 September 2012). Automated synthesis of reliable and efficient systems through game theory: a case study. "Springer Proceedings in Complexity, XVII", 731-738. doi:10.1007/978-3-319-00395-5_90
  • Randour12.pdf

2011

• Randour, M. (30 November 2011). "Strategy Synthesis for Quantitative Objectives" [Paper presentation]. Gasics Meeting, Bruxelles, Belgium.
  • GASICS2011.pdf