Éric Goubault

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 15

Top Topics

Epistemic Logic

Top Venues

IEEE Control. Syst. Lett.

J. Log. Algebraic Methods Program.

Publications

Éric Goubault, Roman Kniazev, Jérémy Ledent
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL (2024)
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge. LICS (2023)
François Bidet, Éric Goubault, Sylvie Putot
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties. IEEE Control. Syst. Lett. 6 (2022)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS (2022)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278 (2021)
Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Éric Goubault, Romuald Elie
Solving N-player dynamic routing games with congestion: a mean field approach. CoRR (2021)
Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121 (2021)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí (2019)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
Wait-Free Solvability of Equality Negation Tasks. DISC (2019)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF (2018)
Éric Goubault, Samuel Mimram, Christine Tasson
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31 (4) (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Concurrent Specifications Beyond Linearizability. OPODIS (2018)
François Bidet, Éric Goubault, Sylvie Putot
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). CICM Workshops (2018)
Adel Djoudi, Sébastien Bardin, Éric Goubault
Recovering High-Level Conditions from Binary Programs. FM (2016)