Marie van den Bogaard

32 papers A* 1A 1B 8C 1Misc 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents.
CSF
Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
2025 B conf
The Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives.
CONCUR
Véronique Bruyère, Jean-François Raskin, Alexis Reynouard, Marie van den Bogaard
2024 J jnl
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents.
CoRR
Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
2024 J jnl
The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives.
CoRR
Véronique Bruyère, Jean-François Raskin, Alexis Reynouard, Marie van den Bogaard
2023 B conf
Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.
MFCS
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2023 J jnl
Rational verification and checking for Nash and subgame-perfect equilibria in graph games.
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2023 J jnl
Subgame-perfect Equilibria in Mean-payoff Games (journal version).
Log. Methods Comput. Sci.
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2022 Misc conf
Bounds for Synchronizing Markov Decision Processes.
CSR
Laurent Doyen, Marie van den Bogaard
2022 J jnl
Bounds for Synchronizing Markov Decision Processes.
CoRR
Laurent Doyen, Marie van den Bogaard
2022 B conf
On the Complexity of SPEs in Parity Games.
CSL
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2022 J jnl
Subgame-perfect Equilibria in Mean-payoff Games (journal version).
CoRR
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2022 A* conf
The Complexity of SPEs in Mean-Payoff Games.
ICALP
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2022 J jnl
The Complexity of SPEs in Mean-payoff Games.
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2021 J jnl
On the Complexity of SPEs in Parity Games.
CoRR
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2021 B conf
Subgame-Perfect Equilibria in Mean-Payoff Games.
CONCUR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2021 J jnl
Subgame-perfect Equilibria in Mean-payoff Games.
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2020 J jnl
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.
Log. Methods Comput. Sci.
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
2019 J jnl
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version).
CoRR
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
2019 B conf
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.
CONCUR
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard
2019 B conf
The Impatient May Use Limited Optimism to Minimize Regret.
FoSSaCS
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2018 B conf
Beyond Admissibility: Dominance Between Chains of Strategies.
CSL
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
2018 J jnl
Beyond admissibility: Dominance between chains of strategies.
CoRR
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
2018 J jnl
Consensus Game Acceptors and Iterated Transductions.
Int. J. Found. Comput. Sci.
Dietmar Berwanger, Marie van den Bogaard
2018 J jnl
Hierarchical information and the synthesis of distributed strategies.
Acta Informatica
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2018 J jnl
The Impatient May Use Limited Optimism to Minimize Regret.
CoRR
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2016 — —
Motifs de flot d'Information dans les jeux à information imparfaite. (Information-flow Patterns in Games with Imperfect Information).
Marie van den Bogaard
2015 J jnl
A Characterisation of Context-Sensitive Languages by Consensus Games.
CoRR
Dietmar Berwanger, Marie van den Bogaard
2015 C conf
Consensus Game Acceptors.
DLT
Dietmar Berwanger, Marie van den Bogaard
2015 — conf
Games with Delays - A Frankenstein Approach.
FSTTCS
Dietmar Berwanger, Marie van den Bogaard
2015 J jnl
Games with Delays. A Frankenstein Approach.
CoRR
Dietmar Berwanger, Marie van den Bogaard
2015 B conf
Hierarchical Information Patterns and Distributed Strategy Synthesis.
ATVA
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2015 J jnl
Hierarchical Information Patterns and Distributed Strategy Synthesis.
CoRR
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard