![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (25 July 2023). How to Play Optimally for Regular Objectives? Paper presented at Highlights 2023 of Logic, Games and Automata, Kassel, Germany. ![]() |
![]() ![]() | Vandenhove, P. (11 July 2023). How to Play Optimally for Regular Objectives? Paper presented at 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Paderborn, Germany. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (03 July 2023). Strategy Complexity of Zero-Sum Games on Graphs. Paper presented at Verification Seminar, Liverpool, United Kingdom. |
![]() ![]() | Vandenhove, P. (20 June 2023). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at STIC doctoral day on the Saclay plateau, Gif-sur-Yvette, France. |
![]() ![]() | Vandenhove, P. (09 May 2023). Strategy Complexity of Zero-Sum Games on Graphs. Paper presented at Seminar of the Institute of Science and Technology Austria (ISTA), Vienna, Austria. |
![]() ![]() | Vandenhove, P. (2023). Strategy Complexity of Zero-Sum Games on Graphs. Unpublished doctoral thesis, UMONS - Université de Mons [Faculté des Sciences], Mons, Belgium. Jury: Bouyer, P. (Promotor), Randour, M. (Promotor), Bruyère, V., Baier, C., Colcombet, T., Doyen, L., ... Monmege, B. |
![]() ![]() | Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer ! |
![]() ![]() | Vandenhove, P. (02 March 2023). Memory Requirements of Omega-Regular Objectives: the Regular Case. Paper presented at MTV Seminar at LaBRI, Bordeaux, France. |
![]() ![]() | Vandenhove, P. (17 February 2023). How to Play Optimally for Regular Objectives? Paper presented at GT Informel MCS & CDS of the LMF, Gif-sur-Yvette, France. |
![]() ![]() | 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. ![]() |
![]() ![]() | Vandenhove, P. (16 December 2022). Memory Requirements of Omega-Regular Objectives: the Regular Case. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (28 October 2022). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at IRIF Automata Seminar, Paris, France. |
![]() ![]() | 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 |
![]() ![]() | Vandenhove, P. (14 October 2022). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at ULB Verif Seminar, Brussels, Belgium. |
![]() ![]() | Vandenhove, P. (14 September 2022). Half-Positional Objectives Recognized by Deterministic Büchi Automata. Paper presented at International Conference on Concurrency Theory (CONCUR 2022), Warsaw, Poland. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (26 August 2022). Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at LAMAS&SR: Logical Aspects in Multi-Agent Systems and Strategic Reasoning, Rennes, France. ![]() |
![]() ![]() | Vandenhove, P. (29 June 2022). Half-Positional Objectives Recognized by Deterministic Büchi Automata. Paper presented at Highlights 2022 of Logic, Games and Automata, Paris, France. ![]() |
Vandenhove, P. (02 June 2022). Existence of memoryless optimal strategies through universal graphs [based on a LICS'22 paper]. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() ![]() | Vandenhove, P. (06 April 2022). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. Poster session presented at Current Trends in Graph and Stochastic Games, Maastricht, Netherlands. ![]() |
Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). À vous de jouer ! |
![]() ![]() | Vandenhove, P. (17 March 2022). Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at Symposium on Theoretical Aspects of Computer Science (STACS), Marseille, France. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (03 March 2022). Characterizing Omega-Regular Languages Through Strategy Complexity of Games on Infinite Graphs (invited talk). Paper presented at LaBRI seminar, Bordeaux, France. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (17 November 2021). Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. Paper presented at Journées du GT Vérif, Gif-sur-Yvette, France. ![]() |
![]() ![]() | Vandenhove, P. (23 September 2021). Characterizing omega-regular languages through strategy complexity of games on infinite graphs [Ongoing work]. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() ![]() | Vandenhove, P. (15 September 2021). Arena-Independent Finite-Memory Determinacy. Paper presented at Highlights of Logic, Games and Automata, Aachen/Online, Germany. ![]() |
![]() ![]() | Vandenhove, P. (26 August 2021). Arena-Independent Finite-Memory Determinacy in Stochastic Games. Paper presented at International Conference on Concurrency Theory (CONCUR 2021), Paris, France. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (17 June 2021). Arena-Independent Finite-Memory Strategies. Paper presented at GT ALGA, Journées annuelles 2021, Online, France. ![]() |
![]() ![]() | Vandenhove, P. (23 April 2021). Arena-Independent Finite-Memory Strategies. Paper presented at Groupe de Travail Concurrence & Distribué et Model-Checking & Synthèse, LMF, École normale supérieure Paris-Saclay, Université Paris-Saclay, France. |
![]() ![]() | Vandenhove, P. (09 December 2020). Understanding Finite-Memory Determinacy. Poster session presented at LMF Research Days, Saclay, France. |
![]() ![]() | Vandenhove, P. (22 September 2020). Decisiveness of Stochastic Systems and its Application to Hybrid Models. Paper presented at International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (02 September 2020). Games Where You Can Play Optimally with Arena-Independent Finite Memory. Paper presented at International Conference on Concurrency Theory, Vienna, Austria. |
![]() ![]() | 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 ![]() |
![]() ![]() | Vandenhove, P. (22 June 2020). Games Where You Can Play Optimally with Arena-Independent Finite Memory. Paper presented at 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Grenoble, France. ![]() |
![]() ![]() | Vandenhove, P. (19 September 2019). Reachability in Stochastic Hybrid Systems. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland. ![]() |
![]() ![]() | Vandenhove, P. (12 September 2019). Reachability in Stochastic Hybrid Systems. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium. ![]() |
![]() ![]() | Vandenhove, P. (05 March 2019). Reachability in Infinite Markov Chains. Poster session presented at Mardi des Chercheurs, Mons, Belgium. |