Clovis Eberhart

According to our database, Clovis Eberhart authored at least 26 papers between 2013 and 2024.

Collaborative distances:

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

2024

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.

Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya

Autom., February, 2024

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

J. Log. Algebraic Methods Program., January, 2024

A Compositional Framework for Petri Nets.

Serge Lechenne, Clovis Eberhart, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

CoRR, 2023

Formal Verification of Safety Architectures for Automated Driving.

Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Formal Verification of Intersection Safety for Automated Driving.

James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo

New Gener. Comput., 2022

Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.

Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya

CoRR, 2022

Logic for Timed Agent Network Topologies.

Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

A Compositional Approach to Parity Games.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

Proceedings of the 16th International Conference on Control, 2020

2019

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization.

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut

CoRR, 2019

Template Games, Simple Games, and Day Convolution.

Clovis Eberhart, Tom Hirschowitz, Alexis Laouar

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

History-Dependent Nominal μ-Calculus.

Clovis Eberhart, Bartek Klin

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing.

Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Categories and String Diagrams for Game Semantics. (Catégories et diagrammes de cordes pour les jeux concurrents).

Clovis Eberhart

PhD thesis, 2018

Simple game semantics and Day convolution.

Clovis Eberhart, Tom Hirschowitz, Alexis Laouar

CoRR, 2018

What's in a game?: A theory of game models.

Clovis Eberhart, Tom Hirschowitz

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

An intensionally fully-abstract sheaf model for π (expanded version).

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

Log. Methods Comput. Sci., 2017

Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics.

Clovis Eberhart, Tom Hirschowitz

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2015

An Intensionally Fully-abstract Sheaf Model for pi.

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2013

Fully-abstract concurrent games for pi.

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

CoRR, 2013