A survey on self-evolving autonomous driving: a perspective on data closed-loop technology
Self evolution refers to the ability of a system to evolve autonomously towards a better
performance, which is a potential trend for autonomous driving systems based on self …
performance, which is a potential trend for autonomous driving systems based on self …
[HTML][HTML] Hybrid dynamical systems logic and its refinements
A Platzer - Science of Computer Programming, 2025 - Elsevier
Hybrid dynamical systems describe the mixed discrete dynamics and continuous dynamics
of cyber-physical systems such as aircraft, cars, trains, and robots. To justify correctness …
of cyber-physical systems such as aircraft, cars, trains, and robots. To justify correctness …
X-by-Construction meets runtime verification
In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond
correctness as considered by the more traditional Correctness-by-Construction (CbC) …
correctness as considered by the more traditional Correctness-by-Construction (CbC) …