Pierre Vandenhove — accepted AI-conference papers

2025

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives

Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove

AAAI 2025technical

Partially observable Markov decision processes (POMDPs) form a prominent model for uncertainty in sequential decision making. We are interested in constructing algorithms with theoretical guarantees to determine whether the agent has a strategy ensuring a given specification with probability 1. This…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2023

Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)

Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

IJCAI 2023poster

In two-player zero-sum games on graphs, the protagonist tries to achieve an objective while the antagonist aims to prevent it. Objectives for which both players do not need to use memory to play optimally are well-understood and characterized both in finite and infinite graphs. Less is known about t…

Cited by 0 Source ↗PDF ↗Scholar ↗