Goran Frehse Professor at the Hybrid Systems Semantics group, Director of the Computer Science and System Engineering Laboratory (U2IS)
Professor of Computer Science, ENSTA Paris - Cited by 4688 - hybrid systems - modelling - verification - reachability - set-based simulation
Goran Frehse has a Diploma in Electrical Engineering and Information Technology from Karlsruhe Institute of Technology, Germany, and a PhD in Computer ...
List of computer science publications by Goran Frehse.
Goran Frehse
Education: Radboud University Nijmegen
Research interests: Hybrid Systems, Modelling, Verification, and more
I'm a professor in the team Hybrid System Semantics (SSH) and director of the Computer Science and Systems Engineering department (U2IS) of ENSTA Paris.
Goran Frehse is a professor and director of the department of computer science and system engineering (U2IS) at ENSTA Paris.
He is an Architect and a Lead Developer of two well-known model checking tools for hybrid and cyber-physical systems, PHAVer and SpaceEx. Since 2016, he has ...
Full Professor, ENSTA Paris · On Double Descent in Reinforcement Learning with LSTD and Random Features · CLIP-QDA: An Explainable Concept Bottleneck Model.
Goran Frehse is a professor and director of the department of computer science and system engineering (U2IS) at ENSTA Paris.