Pierre Vandenhove

31 papers A* 3A 1B 4Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing the Reachability Value of Posterior-Deterministic POMDPs.
CoRR
Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove
2026 — conf
LTL
TACAS (1)
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2025 — conf
Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs.
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove
2025 J jnl
LTL
CoRR
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove
2025 A* conf
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.
AAAI
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2024 J jnl
A positional Π
CoRR
Antonio Casares, Pierre Ohlmann, Pierre Vandenhove
2024 J jnl
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
Log. Methods Comput. Sci.
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2024 J jnl
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.
CoRR
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2024 B conf
The Power of Counting Steps in Quantitative Games.
CONCUR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2024 J jnl
The Power of Counting Steps in Quantitative Games.
CoRR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2023 J jnl
Arena-Independent Finite-Memory Determinacy in Stochastic Games.
Log. Methods Comput. Sci.
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2023 J jnl
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs.
TheoretiCS
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2023 A* conf
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract).
IJCAI
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2023 A* conf
How to Play Optimally for Regular Objectives?
ICALP
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
2023 J jnl
Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks.
IEEE J. Sel. Top. Signal Process.
Jianxin Zhao, Pierre Vandenhove, Peng Xu, Hao Tao, Liang Wang, Chi Harold Liu, Jon Crowcroft
2023 — —
Strategy complexity of zero-sum games on graphs. (Complexité des stratégies des jeux sur graphes à somme nulle).
Pierre Vandenhove
2022 A conf
Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs.
STACS
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2022 J jnl
Decisiveness of stochastic systems and its application to hybrid models.
Inf. Comput.
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2022 J jnl
Games Where You Can Play Optimally with Arena-Independent Finite Memory.
Log. Methods Comput. Sci.
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2022 B conf
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
CONCUR
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022 J jnl
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
CoRR
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022 J jnl
How to Play Optimally for Regular Objectives?
CoRR
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
2022 — conf
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk).
FSTTCS
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2021 B conf
Arena-Independent Finite-Memory Determinacy in Stochastic Games.
CONCUR
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2021 J jnl
Arena-Independent Finite-Memory Determinacy in Stochastic Games.
CoRR
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2021 J jnl
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs.
CoRR
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2020 J jnl
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version).
CoRR
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2020 — conf
Decisiveness of Stochastic Systems and its Application to Hybrid Models.
GandALF
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2020 B conf
Games Where You Can Play Optimally with Arena-Independent Finite Memory.
CONCUR
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2020 J jnl
Games Where You Can Play Optimally with Finite Memory.
CoRR
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2018 J jnl
Functional Design of Computation Graph.
CoRR
Pierre Vandenhove