エバーハートクロヴィス (Clovis Eberhart) - マイポータル

基本情報

所属: 国立情報学研究所

研究者番号: 80867987
ORCID iD: https://orcid.org/0000-0003-3009-6747
J-GLOBAL ID: 202301021363007541
researchmap会員ID: R000053379

論文

Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Principles of Verification (3) 423-445 2025年
A Compositional Framework for Petri Nets.

Serge Lechenne, Clovis Eberhart, Ichiro Hasuo

Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop(CMCS) 174-193 2024年
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 0005, Erik André Pallas, Akihisa Yamada 0002 …

IEEE Transactions on Intelligent Vehicles 8(4) 3040-3072 2023年4月
Formal Verification of Safety Architectures for Automated Driving.

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

CoRR abs/2308.10365 2023年
Formal Verification of Intersection Safety for Automated Driving.

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

CoRR abs/2308.06785 2023年
Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

CoRR abs/2307.08765 2023年
Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

CoRR abs/2307.08034 2023年
Formal Verification of Safety Architectures for Automated Driving.

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

IV 1-8 2023年
Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

CAV (3) 40-61 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 0005, Erik André Pallas, Akihisa Yamada 0002 …

CoRR abs/2207.02387 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 abs/2201.08648 2022年
Logic for Timed Agent Network Topologies.

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

CDC 2870-2877 2022年
Codensity Games for Bisimilarity.

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

New Generation Computing 40(2) 403-465 2022年
Architecture-Guided Test Resource Allocation Via Logic.

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

CoRR abs/2107.10948 2021年
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

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

CoRR abs/2103.16122 2021年
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs.

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

CoRR abs/2101.01502 2021年
A Compositional Approach to Parity Games.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online(MFPS) 278-295 2021年
Architecture-Guided Test Resource Allocation via Logic.

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

Tests and Proofs - 15th International Conference(TAP@STAF) 22-38 2021年
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

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

2021 60th IEEE Conference on Decision and Control (CDC)(CDC) 1321-1328 2021年
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

CoRR abs/2010.11663 2020年

もっとみる