![]() ![]() | Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer ! |
![]() ![]() | Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (30 June 2021). On relevant equilibria in reachability games. Journal of Computer and System Sciences, 119, 211-230. ![]() |
![]() ![]() | Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (01 January 2021). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. Information and Computation, 278 (104594). ![]() |
![]() ![]() | Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (05 November 2020). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Logical Methods in Computer Science, 16 (4), 8:1-8:43. ![]() |
Goeminne, A. (01 November 2020). Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games. Information Processing Letters, 163. ![]() |
Goeminne, A. (03 September 2020). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. Paper presented at International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria. |
![]() ![]() | Brihaye, T., & Goeminne, A. (01 September 2020). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. Lecture Notes in Computer Science, 12288. doi:10.1007/978-3-030-57628-8_6 ![]() |
Goeminne, A. (05 March 2020). On Relevant Equilibria in Reachability Games. Paper presented at 68NQRT seminar, Rennes, France. |
Goeminne, A. (22 November 2019). Multiplayer Reachability Games Played on Graphs. Paper presented at Grascomp Doctoral Day (GDD'19), UNamur, Belgium. |
Goeminne, A. (18 September 2019). On Relevant Equilibria in Reachability Games. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland. |
Goeminne, A. (11 September 2019). On Relevant Equilibria in Reachability Games. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium. |
Goeminne, A. (27 August 2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Paper presented at International Conference on Concurrency Theory, Amsterdam, Netherlands. |
Goeminne, A. (22 August 2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. |
Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). On Relevant Equilibria in Reachability Games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/39077. |
![]() ![]() | Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Paper presented at International Conference on Concurrency Theory, Amsterdam, Netherlands. |
Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). On Relevant Equilibria in Reachability Games. Paper presented at Reachability Problems, Brussels, Belgium. |
Goeminne, A. (16 May 2019). PSPACE algorithm for SPEs in quantitative reachability games. Paper presented at Centre Fédéré en Vérification (ULB), Bruxelles, Belgium. |
Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/39349. |
![]() ![]() | Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). A vous de jouer ! |
Goeminne, A. (05 March 2019). Games played on graph with quantitative reachability objectives. Poster session presented at Mardi des Chercheurs, Mons, Belgium. |
Goeminne, A. (04 December 2018). Jeux sur graphe et objectifs d'atteignabilité. Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium. |
Goeminne, A. (26 September 2018). Constrained existence problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives. Paper presented at International Symposium on Games, Automata, Logics, and Formal Verification, Saarbrücken, Germany. |
Goeminne, A. (19 September 2018). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. Paper presented at Highlights of Logic, Games and Automata, Berlin, Germany. |
Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. |
Goeminne, A. (17 July 2018). Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives. Paper presented at 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018), Cachan, France. |
Goeminne, A. (13 July 2018). Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives. Paper presented at 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - MoRe 2018, Oxford, United Kingdom. |
Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives. Paper presented at International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany. |
Goeminne, A. (29 May 2018). Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives. Paper presented at GT Vérification, Grenoble, France. |
![]() ![]() | Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). A vous de jouer ! |