Author:Goran Frehse

Publications
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 103
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 96
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors) EPiC Series in Computing, volume 90
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 80
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 74
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 61
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems Goran Frehse (editors) EPiC Series in Computing, volume 54
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 48
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 43
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems Goran Frehse and Matthias Althoff (editors) EPiC Series in Computing, volume 34
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP 2021 Category Report: Falsification with Validation of Results Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp and Mark Wetzlinger In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP 2020 Category Report: Falsification Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar and Majid Zamani In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
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
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray and Stefan Schupp In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu and Mirco Giacobbe In:ARCH17. 4th 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
Running SpaceEx on the ARCH14 Benchmarks Stefano Minopoli and Goran Frehse In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

ARCH-COMP³, autonomous vehicles, benchmark, Bounded Model Checking, C2E2, competition, control design, CORA², falsification², Friendly Competition, hybrid automata, hybrid system, hybrid systems⁵, Hydra², Hylaa, Hylaa-Continuous, JuliaReach², lane change, linear continuous dynamics², MATLAB, mode transformation, model checker, Piecewise Constant Dynamics, reachability, safety, simulation³, Simulink², SpaceEx³, Specifications, Stateflow, temporal logic², tools, verification, wind turbine, XSpeed.