Profil

Vandenhove Pierre

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

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

ORCID
0000-0001-5834-1068

Main Referenced Co-authors
Randour, Mickaël  (14)
Bouyer, Patricia (12)
Oualhadj, Youssouf (3)
Brihaye, Thomas  (2)
Casares, Antonio (2)
Main Referenced Keywords
two-player games on graphs (9); finite-memory strategies (8); omega-regular languages (6); finite-memory determinacy (5); NP-completeness (5);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (46)
Main Referenced Disciplines
Computer science (46)
Mathematics (45)

Publications (total 46)

The most downloaded
69 downloads
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 https://hdl.handle.net/20.500.12907/43063
The most cited
13 citations (Scopus®)
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 https://hdl.handle.net/20.500.12907/26884

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

Vandenhove, P. (25 July 2023). How to Play Optimally for Regular Objectives? Paper presented at Highlights 2023 of Logic, Games and Automata, Kassel, Germany.
Peer reviewed

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Vandenhove, P. (17 June 2021). Arena-Independent Finite-Memory Strategies. Paper presented at GT ALGA, Journées annuelles 2021, Online, France.
Editorial reviewed

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

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

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

Vandenhove, P. (19 September 2019). Reachability in Stochastic Hybrid Systems. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.
Peer reviewed

Vandenhove, P. (12 September 2019). Reachability in Stochastic Hybrid Systems. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.
Editorial reviewed

Vandenhove, P. (05 March 2019). Reachability in Infinite Markov Chains. Poster session presented at Mardi des Chercheurs, Mons, Belgium.

Contact ORBi UMONS