Keyword:Specifications

Publications
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi and Knut Åkesson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
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