Keyword:hybrid automaton

Publications
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems