Skip to content

Marie van den Bogaard

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

8

Active years

2015–2025

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2025CONCURThe Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives.Vronique Bruyre, Jean-Franois Raskin, Alexis Reynouard, Marie van den Bogaard
2023MFCSRational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard
2022CSLOn the Complexity of SPEs in Parity Games.Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard
2022CSRBounds for Synchronizing Markov Decision Processes.Laurent Doyen, Marie van den Bogaard
2022ICALPThe Complexity of SPEs in Mean-Payoff Games.Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard
2021CONCURSubgame-Perfect Equilibria in Mean-Payoff Games.Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard
2019CONCURThe Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.Thomas Brihaye, Vronique Bruyre, Aline Goeminne, Jean-Franois Raskin, Marie van den Bogaard
2019FOSSACSThe Impatient May Use Limited Optimism to Minimize Regret.Michal Cadilhac, Guillermo A. Prez, Marie van den Bogaard
2018CSLBeyond Admissibility: Dominance Between Chains of Strategies.Nicolas Basset, Ismal Jecker, Arno Pauly, Jean-Franois Raskin, Marie van den Bogaard
2015ATVAHierarchical Information Patterns and Distributed Strategy Synthesis.Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2015DLTConsensus Game Acceptors.Dietmar Berwanger, Marie van den Bogaard