Willem Hagemann

Available identifiers

zbMath Open hagemann.willemMaRDI QIDQ436414

List of research outcomes

Publication	Date of Publication	Type
Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems	2015-10-30	Paper
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once	2015-09-14	Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces	2012-07-20	Paper

Research outcomes over time

This page was built for person: Willem Hagemann