FR
Marie VAN DEN BOGAARD
CFR / IGM - Institut d'électronique et d'informatique Gaspard Monge
Champs-sur-Marne
Bâtiment: Building: Copernic
Bureau: Office: 4B124
Marie VAN DEN BOGAARD
CFR / IGM - Institut d'électronique et d'informatique Gaspard Monge
Mes dernières références
My latest references
Liste de publications
Publications
Miriam Backens, Magali Bardet, Jérémie Bettinelli, Marie van den Bogaard, Sylvie Boldo, et al.
Code de Conduite du GDR-IFM. GDR-IFM. 2026
Code de Conduite du GDR-IFM. GDR-IFM. 2026
Léo Exibard, Nadime Francis, Antoine Meyer, Marie van den Bogaard
Modèles de mémoire pour l'enseignement de la programmation. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.33-43
Modèles de mémoire pour l'enseignement de la programmation. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.33-43
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Subgame-perfect Equilibria in Mean-payoff Games (journal version). Logical Methods in Computer Science, 2023, Volume 19, Issue 4
⟨10.46298/lmcs-19(4:6)2023⟩
Subgame-perfect Equilibria in Mean-payoff Games (journal version). Logical Methods in Computer Science, 2023, Volume 19, Issue 4
⟨10.46298/lmcs-19(4:6)2023⟩
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games. MFCS 2023, Aug 2023, Bordeaux, France. pp.26:1-26:15
⟨10.4230/LIPIcs.MFCS.2023.26⟩
Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games. MFCS 2023, Aug 2023, Bordeaux, France. pp.26:1-26:15
⟨10.4230/LIPIcs.MFCS.2023.26⟩
Laurent Doyen, Marie van den Bogaard
Bounds for Synchronizing Markov Decision Processes. CSR 2022, Jun 2022, Saint-Petersbourg / Virtual, Russia. pp.133-151
⟨10.1007/978-3-031-09574-0_9⟩
Bounds for Synchronizing Markov Decision Processes. CSR 2022, Jun 2022, Saint-Petersbourg / Virtual, Russia. pp.133-151
⟨10.1007/978-3-031-09574-0_9⟩
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
The Complexity of SPEs in Mean-Payoff Games. ICALP 2022, Jul 2022, Paris, France. pp.116:1-116:20
⟨10.4230/LIPIcs.ICALP.2022.116⟩
The Complexity of SPEs in Mean-Payoff Games. ICALP 2022, Jul 2022, Paris, France. pp.116:1-116:20
⟨10.4230/LIPIcs.ICALP.2022.116⟩
Marie van den Bogaard, Léonard Brice, Jean-François Raskin
On the Complexity of SPEs in Parity Games. CSL 2022, Feb 2022, Göttingen, Germany. pp.10:1-10:17
⟨10.4230/LIPIcs.CSL.2022.10⟩
On the Complexity of SPEs in Parity Games. CSL 2022, Feb 2022, Göttingen, Germany. pp.10:1-10:17
⟨10.4230/LIPIcs.CSL.2022.10⟩
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
Subgame-perfect Equilibria in Mean-payoff Games. CONCUR 2021, Aug 2021, Créteil, France. pp.8:1--8:17
⟨10.4230/LIPIcs.CONCUR.2021.8⟩
Subgame-perfect Equilibria in Mean-payoff Games. CONCUR 2021, Aug 2021, Créteil, France. pp.8:1--8:17
⟨10.4230/LIPIcs.CONCUR.2021.8⟩
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
Hierarchical information and the synthesis of distributed strategies. Acta Informatica, 2018, 55 (8), pp.669-701
⟨10.1007/s00236-017-0306-5⟩
Hierarchical information and the synthesis of distributed strategies. Acta Informatica, 2018, 55 (8), pp.669-701
⟨10.1007/s00236-017-0306-5⟩
Marie van den Bogaard
Motifs de flot d'Information dans les jeux à information imparfaite. Autre [cs.OH]. Université Paris Saclay (COmUE), 2016. Français
⟨10.70675/76d8763cz8d91z48d9z9122za6399483a55f⟩
Motifs de flot d'Information dans les jeux à information imparfaite. Autre [cs.OH]. Université Paris Saclay (COmUE), 2016. Français
⟨10.70675/76d8763cz8d91z48d9z9122za6399483a55f⟩