27 citations · 49 across the 5 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
TERA: A Unified Taylor Model Enabled Reachability Analysis Framework
Salma Iraky, Andrew Sogokon
Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at…
eess.SY2023
Specifying Autonomous System Behaviour
Andrew Sogokon, Burak Yuksek, Gokhan Inalhan +1
Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges. This technical report provides an overview of existi…