bibliographer - Pierre Vandenhove

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Computing the Reachability Value of Posterior-Deterministic POMDPs Nathanael Fijalkow Arka Ghosh Roman Kniazev Guillermo A. Pérez Pierre Vandenhove [github]

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove [github]

The Power of Counting Steps in Quantitative Games Sougata Bose Rasmus Ibsen-Jensen David Purser Patrick Totzke Pierre Vandenhove [github]

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs Patricia Bouyer Mickael Randour Pierre Vandenhove [github]

How to Play Optimally for Regular Objectives Patricia Bouyer Nathanael Fijalkow Mickael Randour Pierre Vandenhove [github]

Half-Positional Objectives Recognized by Deterministic Buchi Automata Patricia Bouyer Antonio Casares Mickael Randour Pierre Vandenhove [github]

Arena-Independent Finite-Memory Determinacy in Stochastic Games Patricia Bouyer Youssouf Oualhadj Mickael Randour Pierre Vandenhove [github]

Games Where You Can Play Optimally with Arena-Independent Finite Memory Patricia Bouyer Stéphane Le Roux Youssouf Oualhadj Mickael Randour Pierre Vandenhove [github]

Decisiveness of Stochastic Systems and its Application to Hybrid Models Patricia Bouyer Thomas Brihaye Mickael Randour Cédric Rivière Pierre Vandenhove [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]