Profil

Randour Mickaël

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Université de Mons - UMONS > Faculté des Sciences > Service du Doyen de la Faculté des Sciences

Université de Mons - UMONS > Faculté des Sciences > Informatique théorique

Université de Mons - UMONS > Faculté des Sciences > FS - Service du Doyen

Université de Mons - UMONS > Faculté des Sciences > Réseaux et Télécommunications

Université de Mons - UMONS > Faculté des Sciences > Logique mathématique


Main Research Fields
Mathematics
Computer science
Electrical & electronics engineering
Main Keywords
complex systems; computer-aided verification and synthesis; formal methods; game theory; Markov decision processes;
Main Unit & Research Centers
CREMMI - Modélisation mathématique et informatique
Main Co-authors
Raskin, Jean-François
Bouyer, Patricia
VANDENHOVE, Pierre 
Oualhadj, Youssouf

Publications (total 106)

The most downloaded
18 downloads
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 https://hdl.handle.net/20.500.12907/1110
The most cited
46 citations (SCOPUS)
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 https://hdl.handle.net/20.500.12907/36701

Main, J., Randour, M., & Sproston, J. (In press). Timed Games with Bounded Window Parity Objectives. Lecture Notes in Computer Science.
Peer reviewed

Main, J., & Randour, M. (In press). Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions. Leibniz International Proceedings in Informatics.
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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.
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

Randour, M. (27 January 2022). Distances and refinement mechanisms in many-sided reactive synthesis. Paper presented at UMONS Formal Methods Reading Group.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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.
Peer reviewed

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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
Peer reviewed

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.
Editorial reviewed

Randour, M. (10 October 2019). Games Where You Can Play Optimally With Finite Memory. Paper presented at GT ALGA annual meeting 2019, Paris, France.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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.
Editorial reviewed

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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.
Peer reviewed

Randour, M. (29 March 2017). Bounding Average-Energy Games. Paper presented at MFV seminar - ULB, Brussels, Belgium.
Editorial reviewed

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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
Peer reviewed

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
Peer Reviewed verified by ORBi

Randour, M. (09 September 2016). Average-energy games. Paper presented at Highlights of Logic, Games and Automata, Bruxelles, Belgium.
Editorial reviewed

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.
Peer reviewed

Randour, M. (19 May 2016). Reachability in Networks of Register Protocols under Stochastic Schedulers. Paper presented at MFV seminar - ULB, Brussels, Belgium.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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
Peer reviewed

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.
Editorial reviewed

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.
Peer reviewed

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
Peer Reviewed verified by ORBi

Randour, M. (16 September 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at Highlights of Logic, Games and Automata, Prague, Czechia.
Editorial reviewed

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.
Editorial reviewed

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.
Peer reviewed

Randour, M. (09 June 2015). Average-energy games. Paper presented at Annual seminar of the LSV, Dourdan, France.
Editorial reviewed

Randour, M. (01 June 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes (invited talk). Paper presented at LACL seminar - UPEC, Créteil, France.
Editorial reviewed

Randour, M. (18 May 2015). Average-energy games. Paper presented at FIfth CASSTING meeting, Brussels, Belgium.
Editorial reviewed

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.
Editorial reviewed

Randour, M. (12 March 2015). Average-energy games. Paper presented at ERC Workshop in Verification, Vienne, Austria.
Editorial reviewed

Randour, M. (25 February 2015). Games with Window Quantitative Objectives. Paper presented at Frontiers of Formal Methods (FFM 2015), Aachen, Germany.
Peer reviewed

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.
Editorial reviewed

Randour, M. (23 January 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. Paper presented at CFV seminar, Brussels, Belgium.
Editorial reviewed

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
Peer reviewed

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
Peer Reviewed verified by ORBi

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
Peer reviewed

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
Peer Reviewed verified by ORBi

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.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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.
Peer reviewed

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
Peer Reviewed verified by ORBi

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

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.
Peer reviewed

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

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
Peer Reviewed verified by ORBi

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.
Editorial reviewed

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.
Editorial reviewed

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
Peer Reviewed verified by ORBi

Randour, M. (16 December 2013). Looking at Mean-Payoff and Total-Payoff through Windows (invited talk). Paper presented at LIAFA verification seminar, Paris, France.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

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.
Peer reviewed

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
Peer reviewed

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.
Editorial reviewed

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.
Editorial reviewed

Randour, M. (09 May 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at ERC Workshop on Quantitative Models, Jerusalem, Israel.
Editorial reviewed

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.
Editorial reviewed

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.
Editorial reviewed

Randour, M. (29 March 2013). Looking at Mean-Payoff and Total-Payoff through Windows. Paper presented at CFV seminar.
Editorial reviewed

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.
Editorial reviewed

Randour, M. (04 September 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Paper presented at CONCUR - International Conference on Concurrency Theory, Newcastle, United Kingdom.
Peer reviewed

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.
Peer reviewed

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.
Peer reviewed

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
Peer reviewed

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.
Editorial reviewed

Randour, M. (18 April 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Editorial reviewed

Randour, M. (30 November 2011). Strategy Synthesis for Quantitative Objectives. Paper presented at Gasics Meeting, Bruxelles, Belgium.
Editorial reviewed

Contact ORBi