16 citations · 28 across the 9 of their papers we have counts for
9 papers
Formal Verification of Safety Architectures for Automated Driving
Clovis Eberhart, Jérémy Dubut, James Haydon +1
Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for gr…
Formal Verification of Intersection Safety for Automated Driving
James Haydon, Martin Bondu, Clovis Eberhart +2
We build on our recent work on formalization of responsibility-sensitive safety (RSS) and present the first formal framework that enables mathematical proofs of the safety of contr…
Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo, Clovis Eberhart, James Haydon +12
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS r…
Moment Propagation of Polynomial Systems Through Carleman Linearization for Probabilistic Safety Analysis
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka +2
We develop a method to approximate the moments of a discrete-time stochastic polynomial system. Our method is built upon Carleman linearization with truncation. Specifically, we ta…
Architecture-Guided Test Resource Allocation Via Logic
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…