![]() ![]() | Bouyer, P., Casares, A., Randour, M., & Vandenhove, P. (2023). Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). In Edith Elkind, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 6420-6425). International Joint Conferences on Artificial Intelligence. doi:10.24963/ijcai.2023/713 ![]() |
![]() ![]() | 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 ![]() |
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 ! |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Bouyer, P., Fijalkow, N., Randour, M., & Vandenhove, P. (2022). How to Play Optimally for Regular Objectives? Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/44195. doi:10.48550/arXiv.2210.09703 |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (2022). Jouer n'est pas qu'un jeu! |
Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). À vous de jouer ! |
![]() ![]() | 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 ![]() |
Randour, M. (27 January 2022). Distances and refinement mechanisms in many-sided reactive synthesis. Paper presented at UMONS Formal Methods Reading Group. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (16 April 2021). Games Where You Can Play Optimally With Finite Memory. Paper presented at International Workshop on Formal Methods in AI, London, United Kingdom. ![]() |
![]() ![]() | 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 ![]() |
Randour, M. (2020). Les éclaireurs : la première ligne de soins, la théorie des jeux et les bugs informatiques. RTBF La Première. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (22 November 2019). Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives (invited talk). Paper presented at LSV working group, ENS Paris-Saclay, Cachan, France. ![]() |
![]() ![]() | Randour, M. (10 October 2019). Games Where You Can Play Optimally With Finite Memory. Paper presented at GT ALGA annual meeting 2019, Paris, France. ![]() |
![]() ![]() | Randour, M. (18 September 2019). Games Where You Can Play Optimally With Finite Memory. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland. ![]() |
![]() ![]() | Randour, M. (12 September 2019). Extending finite-memory determinacy by Boolean combination of winning conditions. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (22 June 2019). Extending finite-memory determinacy by Boolean combination of winning conditions. Paper presented at 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada. ![]() |
Randour, M. (2019). Pint of Science Mons 2019. Paper presented at Pint of Science. |
![]() ![]() | Randour, M. (24 April 2019). Rich behavioral models: illustration on journey planning (invited talk). Paper presented at LSV seminar, ENS Paris-Saclay, Cachan, France. ![]() |
![]() ![]() | Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). A vous de jouer ! |
![]() ![]() | Randour, M. (14 March 2019). Rich behavioral models: illustration on journey planning (invited talk). Paper presented at GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgium. ![]() |
![]() ![]() | Randour, M. (15 January 2019). Journey planning in uncertain environments, the multi-objective way. Paper presented at Complex Systems think tank, Mons, Belgium. |
![]() ![]() | Randour, M. (15 January 2019). Journey planning in uncertain environments, the multi-objective way. Paper presented at Complex Systems think tank. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (19 October 2018). Answering reachability problems in Markov decision processes using learning algorithms. Paper presented at L² meeting, Mons, Belgium. |
![]() ![]() | 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 ![]() |
Randour, M. (2018). Prévenir les bugs informatiques. FNRS.tv. |
![]() ![]() | Randour, M. (29 May 2018). Rich behavioral models: illustration on journey planning (invited session). Paper presented at GT Vérification, Grenoble, France. ![]() |
![]() ![]() | Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). A vous de jouer ! |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (18 January 2018). Rich behavioral models: illustration on journey planning (invited talk). Paper presented at Verification seminar - University of Oxford, Oxford, United Kingdom. ![]() |
![]() ![]() | Randour, M. (13 September 2017). Rich behavioral models: illustration on journey planning (invited session talk). Paper presented at Highlights of Logic, Games and Automata, London, United Kingdom. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (25 April 2017). Bounding Average-Energy Games. Paper presented at 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala, Sweden. ![]() |
![]() ![]() | Randour, M. (29 March 2017). Bounding Average-Energy Games. Paper presented at MFV seminar - ULB, Brussels, Belgium. ![]() |
![]() ![]() | 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 presented at Informatik Kolloquium - RWTH Aachen, Aachen, Germany. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (09 September 2016). Average-energy games. Paper presented at Highlights of Logic, Games and Automata, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (24 July 2016). Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games. Paper presented at GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Netherlands. ![]() |
![]() ![]() | Randour, M. (19 May 2016). Reachability in Networks of Register Protocols under Stochastic Schedulers. Paper presented at MFV seminar - ULB, Brussels, Belgium. ![]() |
![]() ![]() | Randour, M. (21 April 2016). Planning a journey in an uncertain environment: variations on the stochastic shortest path problem. Paper presented at InforTech Scientific Day, Mons, Belgium. ![]() |
![]() ![]() | Randour, M. (07 April 2016). Reachability in Networks of Register Protocols under Stochastic Schedulers (invited talk). Paper presented at IRISA - INRIA Rennes seminar, Rennes, France. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (28 January 2016). Planning a journey in an uncertain environment. Paper presented at Modeling & Simulation Day - Energie and Complexys Institutes - UMONS, Mons, Belgium. ![]() |
![]() ![]() | Randour, M. (11 January 2016). Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games. Paper presented at GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Netherlands. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (16 September 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at Highlights of Logic, Games and Automata, Prague, Czechia. ![]() |
![]() ![]() | Randour, M. (11 September 2015). Synthesis in Multi-Criteria Quantitative Games (invited talk - Ackermann Award lecture). Paper presented at 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany. ![]() |
![]() ![]() | Randour, M. (21 July 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, United States. ![]() |
![]() ![]() | Randour, M. (09 June 2015). Average-energy games. Paper presented at Annual seminar of the LSV, Dourdan, France. ![]() |
![]() ![]() | Randour, M. (01 June 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes (invited talk). Paper presented at LACL seminar - UPEC, Créteil, France. ![]() |
![]() ![]() | Randour, M. (18 May 2015). Average-energy games. Paper presented at FIfth CASSTING meeting, Brussels, Belgium. ![]() |
![]() ![]() | Randour, M. (13 May 2015). Planning a journey in an uncertain environment: variations on the stochastic shortest path problem. Paper presented at EDT Complex Meeting - UNamur, Namur, Belgium. ![]() |
![]() ![]() | Randour, M. (12 March 2015). Average-energy games. Paper presented at ERC Workshop in Verification, Vienne, Austria. ![]() |
![]() ![]() | Randour, M. (25 February 2015). Games with Window Quantitative Objectives. Paper presented at Frontiers of Formal Methods (FFM 2015), Aachen, Germany. ![]() |
![]() ![]() | Randour, M. (05 February 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at Dagstuhl Seminar, 'Non-Zero-Sum-Games and Control', Wadern, Germany. ![]() |
![]() ![]() | Randour, M. (23 January 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at CFV seminar, Brussels, Belgium. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (11 December 2014). Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited (invited talk). Paper presented at LIF seminar - MOVE research group, Marseille, France. ![]() |
![]() ![]() | Randour, M. (03 September 2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Paper presented at Highlights of Logic, Games and Automata, Paris, France. ![]() |
![]() ![]() | Randour, M. (17 June 2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk). Paper presented at IST Austria seminar, Klosterneuburg, Austria. ![]() |
![]() ![]() | Randour, M. (2014). Synthesis in Multi-Criteria Quantitative Games. Unpublished doctoral thesis, Université de Mons. Jury: Bruyère, V. (Promotor), Raskin, J.-F. (Promotor), Brihaye, T., Bouyer-Decitre, P., Bruyère, V., Henzinger, T. A., Raskin, J.-F., Katoen, J.-P., ... Mélot, H. |
![]() ![]() | Randour, M. (05 April 2014). Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. Paper presented at SR - International Workshop on Strategic Reasoning, Grenoble, France. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Bohy, A., Carlier, P., De Pril, J., Oualhadj, Y., & Randour, M. (2014). Jouer n'est pas qu'un jeu ! |
![]() ![]() | Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. |
![]() ![]() | Randour, M. (05 March 2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Paper presented at STACS - Symposium on Theoretical Aspects of Computer Science, Lyon, France. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (23 January 2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk). Paper presented at GT Jeux - annual meeting, Paris, France. ![]() |
![]() ![]() | Randour, M. (16 January 2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk). Paper presented at LaBRI verification seminar, Bordeaux, France. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (16 December 2013). Looking at Mean-Payoff and Total-Payoff through Windows (invited talk). Paper presented at LIAFA verification seminar, Paris, France. ![]() |
![]() ![]() | Randour, M. (26 November 2013). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk). Paper presented at LSV seminar, ENS Cachan, France. ![]() |
![]() ![]() | Randour, M. (19 November 2013). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (28 October 2013). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk). Paper presented at Nord Pas de Calais / Belgium Congress of Mathematics, Valenciennes, France. ![]() |
![]() ![]() | Randour, M. (16 October 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at ATVA - International Symposium on Automated Technology for Verification and Analysis, Hanoï, Vietnam. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (01 October 2013). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. Paper presented at Second Cassting Meeting, Aalborg, Denmark. ![]() |
![]() ![]() | Randour, M. (20 September 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at Highlights of Logic, Games and Automata, Paris, France. ![]() |
![]() ![]() | Randour, M. (09 May 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at ERC Workshop on Quantitative Models, Jerusalem, Israel. ![]() |
![]() ![]() | Randour, M. (12 April 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at CASSTING European Project kick-off meeting, Paris, France. |
![]() ![]() | Randour, M. (12 April 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at CASSTING kick-off meeting. ![]() |
![]() ![]() | Randour, M. (29 March 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at Centre Fédéré en Vérification, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (29 March 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at CFV seminar. ![]() |
![]() ![]() | Randour, M. (2013). Jouer n'est pas qu'un jeu ! |
![]() ![]() | Randour, M. (08 February 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (04 September 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Paper presented at CONCUR - International Conference on Concurrency Theory, Newcastle, United Kingdom. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (03 September 2012). Automated synthesis of reliable and efficient systems through game theory: a case study. Paper presented at ECCS - European Conference on Complex Systems, Brussels, Belgium. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Randour, M. (08 June 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Paper presented at ERC-Workshop on Quantitative and Game Models for the Synthesis of Reactive Systems, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (18 April 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. ![]() |
![]() ![]() | Randour, M. (30 November 2011). Strategy Synthesis for Quantitative Objectives. Paper presented at Gasics Meeting, Bruxelles, Belgium. ![]() |