Publications
Aline GOEMINNE
Accéder au dépôt institutionnel
Nombre de publications : 34
    2023
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Goeminne, A. (12 October 2023). "Multi-weighted Reachability Games" [Paper presentation]. 17th International Conference on Reachability Problems, Nice, France.
    • Goeminne, A. (28 July 2023). "Multi-Weighted Reachability Games" [Paper presentation]. Highlights of Logic, Games and Automata 2023, Kassel, Germany.
    Colloques et congrès scientifiques/Communication publiée dans un ouvrage
    • Brihaye, T., & Goeminne, A. (2023). Multi-weighted Reachability Games. In O. Bournez (Ed.), "Reachability Problems - 17th International Conference, RP 2023, Proceedings". Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-45286-4_7
    Colloques et congrès scientifiques/Communication publiée dans un périodique
    • 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
    Allocutions et communications diverses/Autre
    • Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). "À vous de jouer !"
    Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
    • Goeminne, A. (09 October 2023). "A stroll with reachability games" [Paper presentation]. MOVE seminar, Marseille, France.
    Top
    2021
    Périodiques scientifiques/Article
    • 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).
    Top
    2020
    Périodiques scientifiques/Article
    • 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". doi:10.1016/j.ipl.2020.105996
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Goeminne, A. (03 September 2020). "On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games" [Paper presentation]. International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria.
    • Goeminne, A. (05 March 2020). "On Relevant Equilibria in Reachability Games" [Paper presentation]. 68NQRT seminar, Rennes, France.
    Colloques et congrès scientifiques/Communication publiée dans un périodique
    Top
    2019
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Goeminne, A. (22 November 2019). "Multiplayer Reachability Games Played on Graphs" [Paper presentation]. Grascomp Doctoral Day (GDD'19), UNamur, Belgium.
    • Goeminne, A. (18 September 2019). "On Relevant Equilibria in Reachability Games" [Paper presentation]. Highlights of Logic, Games and Automata, Warsaw, Poland.
    • Goeminne, A. (11 September 2019). "On Relevant Equilibria in Reachability Games" [Paper presentation]. 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 presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.
    • Goeminne, A. (22 August 2019). "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
    • Goeminne, A. (16 May 2019). "PSPACE algorithm for SPEs in quantitative reachability games" [Paper presentation]. Centre Fédéré en Vérification (ULB), Bruxelles, Belgium.
    Colloques et congrès scientifiques/Communication publiée dans un périodique
    • 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 presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.
    • Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games" [Paper presentation]. Reachability Problems, Brussels, Belgium.
    Colloques et congrès scientifiques/Communication poster
    • Goeminne, A. (05 March 2019). "Games played on graph with quantitative reachability objectives" [Poster presentation]. Mardi des Chercheurs, Mons, Belgium.
    E-prints, Working papers et Carnets de recherche/Working paper
    • Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/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". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/39349.
    Allocutions et communications diverses/Autre
    • Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). "A vous de jouer !"
    Top
    2018
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Goeminne, A. (04 December 2018). "Jeux sur graphe et objectifs d'atteignabilité" [Paper presentation]. 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 presentation]. 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 presentation]. Highlights of Logic, Games and Automata, Berlin, Germany.
    • Goeminne, A. (17 July 2018). "Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives" [Paper presentation]. 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 presentation]. 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - MoRe 2018, Oxford, United Kingdom.
    • Goeminne, A. (29 May 2018). "Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives" [Paper presentation]. GT Vérification, Grenoble, France.
    Colloques et congrès scientifiques/Communication publiée dans un périodique
    • 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 presentation]. International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany.
    Rapports/Rapport de recherche interne
    • Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). "Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives".
    Allocutions et communications diverses/Autre
    • Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). "A vous de jouer !"
    Top