Marie van den Bogaard

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Venues

CoRR

CONCUR

CSL

Log. Methods Comput. Sci.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents. CoRR (2024)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games. MFCS (2023)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Rational verification and checking for Nash and subgame-perfect equilibria in graph games. CoRR (2023)
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
Subgame-perfect Equilibria in Mean-payoff Games (journal version). Log. Methods Comput. Sci. 19 (4) (2023)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
The Complexity of SPEs in Mean-payoff Games. CoRR (2022)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
The Complexity of SPEs in Mean-Payoff Games. ICALP (2022)
Laurent Doyen, Marie van den Bogaard
Bounds for Synchronizing Markov Decision Processes. CSR (2022)
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
Subgame-perfect Equilibria in Mean-payoff Games (journal version). CoRR (2022)
Laurent Doyen, Marie van den Bogaard
Bounds for Synchronizing Markov Decision Processes. CoRR (2022)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
On the Complexity of SPEs in Parity Games. CSL (2022)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Subgame-Perfect Equilibria in Mean-Payoff Games. CONCUR (2021)
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Subgame-perfect Equilibria in Mean-payoff Games. CoRR (2021)
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
On the Complexity of SPEs in Parity Games. CoRR (2021)
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Log. Methods Comput. Sci. 16 (4) (2020)
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version). CoRR (2019)
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
The Impatient May Use Limited Optimism to Minimize Regret. FoSSaCS (2019)
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. CONCUR (2019)
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
The Impatient May Use Limited Optimism to Minimize Regret. CoRR (2018)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond Admissibility: Dominance Between Chains of Strategies. CSL (2018)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond admissibility: Dominance between chains of strategies. CoRR (2018)
Dietmar Berwanger, Marie van den Bogaard
Consensus Game Acceptors and Iterated Transductions. Int. J. Found. Comput. Sci. 29 (2) (2018)
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
Hierarchical information and the synthesis of distributed strategies. Acta Informatica 55 (8) (2018)
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
Hierarchical Information Patterns and Distributed Strategy Synthesis. ATVA (2015)
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
Hierarchical Information Patterns and Distributed Strategy Synthesis. CoRR (2015)
Dietmar Berwanger, Marie van den Bogaard
Games with Delays - A Frankenstein Approach. FSTTCS (2015)
Dietmar Berwanger, Marie van den Bogaard
Games with Delays. A Frankenstein Approach. CoRR (2015)
Dietmar Berwanger, Marie van den Bogaard
Consensus Game Acceptors. DLT (2015)
Dietmar Berwanger, Marie van den Bogaard
A Characterisation of Context-Sensitive Languages by Consensus Games. CoRR (2015)

Marie van den Bogaard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marie van den Bogaard