2025

• Vandenhove, P. (01 March 2025). "Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives" [Paper presentation]. AAAI Conference on Artificial Intelligence, Philadelphia, United States - Pennsylvania.
  • vandenhove_aaai25.pdf

• Belly, M., Fijalkow, N., Gimbert, H., Horn, F., Pérez, G. A., & Vandenhove, P. (2025). Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. "Proceedings of the AAAI Conference on Artificial Intelligence". doi:10.1609/aaai.v39i25.34845
  • 2412.12063v1.pdf

• Vandenhove, P. (01 March 2025). "Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives" [Poster presentation]. AAAI Conference on Artificial Intelligence, Philadelphia, United States - Pennsylvania.
  • vandenhove_poster_aaai25.pdf

• Vandenhove, P. (2025). "Prendre des décisions optimales sans avoir toutes les cartes en main". France: Le Monde: Blog Binaire.

• Grandmont, C., & Vandenhove, P. (2025). "Erreur détectée ! Comment les ordinateurs réparent toutes nos erreurs (ou presque !)".
  • Erreur_détectée__JMS_2025_ (3).pdf

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

• Vandenhove, P. (20 November 2024). "Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives" [Paper presentation]. Journées annuelles du GT Vérif, Lille, France.
  • vandenhove_gtVerif24.pdf
• Vandenhove, P. (04 June 2024). "Decidability of Omega-Regular Objectives for POMDPs with Revelations" [Paper presentation]. Dagstuhl Seminar 24231: Stochastic Games, Dagstuhl, Germany.
  • vandenhove_dagstuhl24.pdf

• Bose, S., Ibsen-Jensen, R., Purser, D., Totzke, P., & Vandenhove, P. (29 August 2024). The Power of Counting Steps in Quantitative Games. "Leibniz International Proceedings in Informatics, 311", 13:1-13:18. doi:10.4230/LIPIcs.CONCUR.2024.13
  • LIPIcs.CONCUR.2024.13.pdf

• Casares, A., Ohlmann, P., & Vandenhove, P. (2024). "A positional Π^0_3-complete objective". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/50145.
  • 2410.14688v1.pdf

• Vandenhove, P. (07 October 2024). "Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives" [Paper presentation]. UMONS Formal Methods Reading Group, Mons, Belgium.
  • vandenhove_readingGroup071024.pdf
• Vandenhove, P. (29 February 2024). "The Decisiveness Property for Decidable Classes of Stochastic Systems" [Paper presentation]. Liverpool Verification Seminar, Liverpool, United Kingdom.
  • vandenhove_liverpool24.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. doi:10.46298/theoretics.23.1
  • theoretiCS2-1.pdf

• Vandenhove, P. (20 December 2023). "Characterizing Omega-Regularity through Strategy Complexity of Zero-Sum Games" [Paper presentation]. Young Scholar Day - Belgian Mathematical Society, Brussels, Belgium.
  • vandenhove_bmsYsd23.pdf
• Vandenhove, P. (25 July 2023). "How to Play Optimally for Regular Objectives?" [Paper presentation]. Highlights 2023 of Logic, Games and Automata, Kassel, Germany.
  • vandenhove_highlights23.pdf
• Vandenhove, P. (11 July 2023). "How to Play Optimally for Regular Objectives?" [Paper presentation]. 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Paderborn, Germany.
  • vandenhove_icalp23.pdf
• Vandenhove, P. (20 June 2023). "Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. STIC doctoral day on the Saclay plateau, Gif-sur-Yvette, France.
  • vandenhove_journeeDocSaclay23.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

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

• Vandenhove, P. (24 November 2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Paper presentation]. Links' Team Seminar, Lille, France.
  • vandenhove_lilleSeminar.pdf
• Vandenhove, P. (09 November 2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Paper presentation]. MoVe Seminar, Marseille, France.
  • vandenhove_marseilleSeminar.pdf
• Vandenhove, P. (03 July 2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Paper presentation]. Verification Seminar, Liverpool, United Kingdom.
  • vandenhove_liverpoolSeminar.pdf
• Vandenhove, P. (09 May 2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Paper presentation]. Seminar of the Institute of Science and Technology Austria (ISTA), Vienna, Austria.
  • vandenhove_istSeminar.pdf
• Vandenhove, P. (02 March 2023). "Memory Requirements of Omega-Regular Objectives: the Regular Case" [Paper presentation]. MTV Seminar at LaBRI, Bordeaux, France.
  • vandenhove_LaBRI_MTV_020323.pdf
• Vandenhove, P. (17 February 2023). "How to Play Optimally for Regular Objectives?" [Paper presentation]. GT Informel MCS & CDS of the LMF, Gif-sur-Yvette, France.
  • vandenhove_GT_MCS170223.pdf

2022

• Zhao, J., VANDENHOVE, P., Xu, P., Tao, H., Wang, L., Liu, C. H., & Crowcroft, J. (21 November 2022). Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks. "IEEE Journal of Selected Topics in Signal Processing, 17" (1), 222-233. doi:10.1109/jstsp.2022.3223759
  • Parallel_and_Memory-Efficient_Distributed_Edge_Learning_in_B5G_IoT_Networks_EARLYACCESS.pdf
• 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

• Vandenhove, P. (14 September 2022). "Half-Positional Objectives Recognized by Deterministic Büchi Automata" [Paper presentation]. International Conference on Concurrency Theory (CONCUR 2022), Warsaw, Poland.
  • vandenhove_concur22.pdf
• Vandenhove, P. (26 August 2022). "Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. LAMAS&SR: Logical Aspects in Multi-Agent Systems and Strategic Reasoning, Rennes, France.
  • main_LAMASSR.pdf
• Vandenhove, P. (29 June 2022). "Half-Positional Objectives Recognized by Deterministic Büchi Automata" [Paper presentation]. Highlights 2022 of Logic, Games and Automata, Paris, France.
  • vandenhove_highlights22.pdf
• Vandenhove, P. (17 March 2022). "Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. Symposium on Theoretical Aspects of Computer Science (STACS), Marseille, France.
  • vandenhove_stacs22_handout.pdf

• 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

• Vandenhove, P. (06 April 2022). "Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" [Poster presentation]. Current Trends in Graph and Stochastic Games, Maastricht, Netherlands.
  • vandenhove_poster_gamenet22.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

• Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). "À vous de jouer !"

• Vandenhove, P. (16 December 2022). "Memory Requirements of Omega-Regular Objectives: the Regular Case" [Paper presentation]. UMONS Formal Methods Reading Group, Mons, Belgium.
  • vandenhove_readingGroup161222.pdf
• Vandenhove, P. (28 October 2022). "Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. IRIF Automata Seminar, Paris, France.
  • vandenhove_irifSeminar22.pdf
• Vandenhove, P. (14 October 2022). "Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. ULB Verif Seminar, Brussels, Belgium.
  • vandenhove_mfvSeminar22.pdf
• Vandenhove, P. (02 June 2022). "Existence of memoryless optimal strategies through universal graphs [based on a LICS'22 paper]" [Paper presentation]. UMONS Formal Methods Reading Group, Mons, Belgium.
• Vandenhove, P. (03 March 2022). "Characterizing Omega-Regular Languages Through Strategy Complexity of Games on Infinite Graphs (invited talk)" [Paper presentation]. LaBRI seminar, Bordeaux, France.
  • vandenhove_labriSeminar22.pdf

2021

• Vandenhove, P. (17 November 2021). "Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs" [Paper presentation]. Journées du GT Vérif, Gif-sur-Yvette, France.
  • vandenhove_gtverif21.pdf
• Vandenhove, P. (15 September 2021). "Arena-Independent Finite-Memory Determinacy" [Paper presentation]. Highlights of Logic, Games and Automata, Aachen/Online, Germany.
  • vandenhove_highlights21.pdf
• Vandenhove, P. (26 August 2021). "Arena-Independent Finite-Memory Determinacy in Stochastic Games" [Paper presentation]. International Conference on Concurrency Theory (CONCUR 2021), Paris, France.
  • vandenhove_concur21.pdf
• Vandenhove, P. (17 June 2021). "Arena-Independent Finite-Memory Strategies" [Paper presentation]. GT ALGA, Journées annuelles 2021, Online, France.
  • vandenhove_aifm_gt_alga.pdf
• Vandenhove, P. (23 April 2021). "Arena-Independent Finite-Memory Strategies" [Paper presentation]. Groupe de Travail Concurrence & Distribué et Model-Checking & Synthèse, LMF, École normale supérieure Paris-Saclay, Université Paris-Saclay, France.
  • vandenhove_aifm.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

• Vandenhove, P. (23 September 2021). "Characterizing omega-regular languages through strategy complexity of games on infinite graphs [Ongoing work]" [Paper presentation]. UMONS Formal Methods Reading Group, Mons, Belgium.
  • vandenhove_readingGroup_handout.pdf

2020

• Vandenhove, P. (22 September 2020). "Decisiveness of Stochastic Systems and its Application to Hybrid Models" [Paper presentation]. International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium.
  • vandenhove_gandalf20.pdf
• Vandenhove, P. (02 September 2020). "Games Where You Can Play Optimally with Arena-Independent Finite Memory" [Paper presentation]. International Conference on Concurrency Theory, Vienna, Austria.
  • vandenhove_concur20.pdf
• Vandenhove, P. (22 June 2020). "Games Where You Can Play Optimally with Arena-Independent Finite Memory" [Paper presentation]. 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Grenoble, France.
  • vandenhove_movep20.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

• Vandenhove, P. (09 December 2020). "Understanding Finite-Memory Determinacy" [Poster presentation]. LMF Research Days, Saclay, France.
  • vandenhove_lmf_days_poster.pdf

2019

• Vandenhove, P. (19 September 2019). "Reachability in Stochastic Hybrid Systems" [Paper presentation]. Highlights of Logic, Games and Automata, Warsaw, Poland.
  • vandenhove_highlights19_SHS.pdf
• Vandenhove, P. (12 September 2019). "Reachability in Stochastic Hybrid Systems" [Paper presentation]. 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.
  • vandenhove_rp19_SHS.pdf

• Vandenhove, P. (05 March 2019). "Reachability in Infinite Markov Chains" [Poster presentation]. Mardi des Chercheurs, Mons, Belgium.
  • vandenhove-MdC19.pdf