Sasinee Pruekprasert, Clovis Eberhart. AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. 2026
Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3). 2025. 423-445
Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Automatica. 2024. 160. 111441-111441
Serge Lechenne, Clovis Eberhart, Ichiro Hasuo. A Compositional Framework for Petri Nets. Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop(CMCS). 2024. 174-193
