Author:Nikolaos Kekatos

Publications
Lane change maneuver for autonomous vehicles (Benchmark Proposal) Nikolaos Kekatos, Daniel Heß and Goran Frehse In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata Nikolaos Kekatos, Marcelo Forets and Goran Frehse In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems