Goran Frehse

Available identifiers

Publication	Date of Publication	Type
Symbolic analysis of linear hybrid automata -- 25 years later	2023-08-10	Paper
Space-time interpolants	2023-05-26	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)	2022-12-08	Paper
Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing	2021-12-13	Paper
Counterexample-Guided Refinement of Template Polyhedra	2020-08-05	Paper
JuliaReach	2019-10-22	Paper
Falsification of hybrid systems using symbolic reachability and trajectory splicing	2019-10-22	Paper
JuliaReach: a Toolbox for Set-Based Reachability	2019-01-30	Paper
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices	2018-12-06	Paper
Verification of Hybrid Systems	2018-07-20	Paper
Eliminating spurious transitions in reachability with support functions	2017-05-19	Paper
From Simulation Models to Hybrid Automata Using Urgency and Relaxation	2017-05-19	Paper
Flowpipe approximation and clustering in space-time	2017-05-16	Paper
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata	2015-08-06	Paper
Efficient Bounded Reachability Computation for Rectangular Automata	2011-10-07	Paper
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata	2008-09-02	Paper
On Timed Simulation Relations for Hybrid Systems and Compositionality	2008-07-08	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper

This page was built for person: Goran Frehse