Marie van den Bogaard

According to our database, Marie van den Bogaard authored at least 20 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives.

Véronique Bruyère, Jean-François Raskin, Alexis Reynouard, Marie van den Bogaard

CoRR, 2024

Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents.

Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard

CoRR, 2024

2023

Subgame-perfect Equilibria in Mean-payoff Games (journal version).

Léonard Brice, Marie van den Bogaard, Jean-François Raskin

Log. Methods Comput. Sci., 2023

Rational verification and checking for Nash and subgame-perfect equilibria in graph games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

CoRR, 2023

Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

The Complexity of SPEs in Mean-Payoff Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Bounds for Synchronizing Markov Decision Processes.

Laurent Doyen, Marie van den Bogaard

Proceedings of the Computer Science - Theory and Applications, 2022

On the Complexity of SPEs in Parity Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Subgame-Perfect Equilibria in Mean-Payoff Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

Log. Methods Comput. Sci., 2020

2019

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version).

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

CoRR, 2019

The Impatient May Use Limited Optimism to Minimize Regret.

Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Consensus Game Acceptors and Iterated Transductions.

Dietmar Berwanger, Marie van den Bogaard

Int. J. Found. Comput. Sci., 2018

Hierarchical information and the synthesis of distributed strategies.

Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

Acta Informatica, 2018

Beyond Admissibility: Dominance Between Chains of Strategies.

Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2016

Motifs de flot d'Information dans les jeux à information imparfaite. (Information-flow Patterns in Games with Imperfect Information).

Marie van den Bogaard

PhD thesis, 2016

2015

A Characterisation of Context-Sensitive Languages by Consensus Games.

Dietmar Berwanger, Marie van den Bogaard

CoRR, 2015

Games with Delays - A Frankenstein Approach.

Dietmar Berwanger, Marie van den Bogaard

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Consensus Game Acceptors.

Dietmar Berwanger, Marie van den Bogaard

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

Hierarchical Information Patterns and Distributed Strategy Synthesis.

Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

Proceedings of the Automated Technology for Verification and Analysis, 2015