2 papers
cs.SE2026
Declarative Scenario-based Testing with RoadLogic
Ezio Bartocci, Alessio Gambi, Felix Gigler +2
Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring d…
cs.CY2021
Sampling of Shape Expressions
Nicolas Basset, Thao Dang, Felix Gigler +2
Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and characterization of useful in…