Games where you can play optimally with arena-independent finite memory P Vandenhove, M Randour, Y Oualhadj, S Le Roux, P Bouyer
Logical Methods in Computer Science 18, 11:1-11:44, 2022
36 2022 Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs P Vandenhove, M Randour, P Bouyer
TheoretiCS 2, 1-48, 2023
21 * 2023 Arena-Independent Finite-Memory Determinacy in Stochastic Games P Bouyer, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 19, 18:1-18:51, 2023
18 2023 Half-Positional Objectives Recognized by Deterministic Büchi Automata P Bouyer, A Casares, M Randour, P Vandenhove
Logical Methods in Computer Science 20, 19:1-19:42, 2024
13 2024 How to Play Optimally for Regular Objectives? P Bouyer, N Fijalkow, M Randour, P Vandenhove
50th EATCS International Colloquium on Automata, Languages and Programming …, 2023
12 2023 Decisiveness of stochastic systems and its application to hybrid models P Bouyer, T Brihaye, M Randour, C Rivière, P Vandenhove
Information and Computation, 104861, 2021
9 * 2021 The Power of Counting Steps in Quantitative Games S Bose, R Ibsen-Jensen, D Purser, P Totzke, P Vandenhove
35th International Conference on Concurrency Theory (CONCUR 2024) 311, 13:1 …, 2024
4 2024 Strategy Complexity of Zero-Sum Games on Graphs P Vandenhove
Université de Mons & Université Paris-Saclay, 2023
4 * 2023 Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks J Zhao, P Vandenhove, P Xu, H Tao, L Wang, CH Liu, J Crowcroft
IEEE Journal of Selected Topics in Signal Processing 17 (1), 222-233, 2022
4 2022 The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk) P Bouyer, M Randour, P Vandenhove
42nd IARCS Annual Conference on Foundations of Software Technology and …, 2022
4 2022 Functional Design of Computation Graph P Vandenhove
arXiv preprint arXiv:1812.03770, 2018
2 2018 A positional -complete objective A Casares, P Ohlmann, P Vandenhove
arXiv preprint arXiv:2410.14688, 2024
2024 Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives M Belly, N Fijalkow, H Gimbert, F Horn, GA Pérez, P Vandenhove
2024