Professor at the Hybrid Systems Semantics group,
Director of the Computer Science and System Engineering Laboratory (U2IS)
Deputy Director of the Department of Information and Computer Sciences (S2I)
goranf squigglything gmail.com, goranf.bsky.social, ORCiD ID
Office R.3.30 (getting here)
ENSTA, U2IS; 828, boulevard des maréchaux; 91762 Palaiseau Cedex, France
Phone: +33 18 187 2076
D Brellmann, E Berthier, D Filliat, G Frehse: On Double-Descent in Reinforcement Learning with LSTD and Random Features. ICLR 2024
Goran Frehse, Mirco Giacobbe, Enea Zaffanella: Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design 2022: 39-60. pdf
M. Althoff, G. Frehse, A. Girard: Set Propagation Techniques for Reachability Analysis, Annual Review of Control, Robotics, and Autonomous Systems, 2021, 4:1
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling. JuliaReach: a toolbox for set-based reachability. (Tool Paper) HSCC, 2019, arxiv
Goran Frehse, Mirco Giacobbe and Thomas Henzinger. Spacetime Interpolants. CAV, 2018. pdf
G. Frehse, N. Kekatos, D. Nickovic, J. Oehlerking, S. Schuler, A. Walsch, M. Woehrle. Pattern Templates and Monitors for Verifying Safety Properties of Hybrid Automata. In Proc. American Control Conference (ACC), 2018. pdf
S. Bogomolov, M. Forets, G. Frehse, A. Podelski, C. Schilling, F. Viry. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC, 2018. pdf
G. Frehse. An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. In Int. Summer School on Methods and Tools for the Design of Digital Systems, Springer, 2015. pdf
G. Frehse. Reachability of Hybrid Systems in Space-Time. Emsoft, 2015. pdf
SpaceEx is a tool platform for algorithms related to reachability and safety verification.
PHAVer is a tool for formally verifying safety properties of hybrid systems with simple dynamics.
Formal Verification of Piecewise Affine Hybrid Systems (DigiCosme Spring School, Paris, May 2016)
Model Checking of Hybrid Systems (AVACS Autumn School, Oldenburg, October 2015)
Reachability Analysis of Hybrid Systems (CPS14 Summer School, Grenoble, July 2014), Video
Verification of Hybrid Systems (MOVEP Summer School, Orleans, June 2008)
Industrial collaboration project with DENSO Automotive Deutschland: A Modeling, Identification and Verification Framework for Control Design in Large-Scale and Complex Systems (2017-2018)
IPL Modeliscale (2017-2021) is a French research collaboration project financed by INRIA
UnCoVerCPS (2015-2018) is a European research project investigating the integration of verification techniques in the control of cyber-physical systems
Multiform (2008-2012) was a European research project aiming to improve coherent tool support for the integrated control design of large and complex networked systems
Yacine El Yamani (2025 - ..., with Elena Vanneaux)
Firas Gabetni (2025 - ..., with Gianni Franchi)
Hippolyte Watrelot (2024 - ..., with Julien Alexandre dit Sandretto)
Danil Berrah (2022 - 2025, with Alexandre Chapoutot)
Rémi Kazmierczak (2022 - 2025, with Gianni Franchi)
Abdelmouaiz Tebjou (2021 - 2025)
Gwendal Priser (2021 - ..., with Elena Vanneaux)
David Brellmann (2020 - 2024, with David Filliat)
Ismail Lahkim Bennani (2018 - 2021, with Marc Pouzet and Timothy Bourke)
Nikolaos Kekatos (2015 - 2018)
Antonio Bruta da Costa (2014 - 2020, with Pallab Dasgupta)
Rajarshi Ray (2008 - 2012, now assistant professor at IACS, Kolkata)
TACAS'18: Conference on Tools and Algorithms for the Construction and Analysis of Systems
HSCC'17: Conference on Hybrid Systems: Computation and Control
ARCH: Workshop on Applied Verification for Continuous and Hybrid Systems
SynCop: Workshop on Synthesis of Continuous Parameters, 2014 proceedings (EPTCS) , 2015 proceedings (OASICS).
