Boris Wirtz

Available identifiers

zbMath Open wirtz.borisMaRDI QIDQ436417

List of research outcomes

Publication	Date of Publication	Type
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces	2012-07-20	Paper
Automating Verification of Cooperation, Control, and Design in Traffic Applications	2008-09-25	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper

Research outcomes over time

This page was built for person: Boris Wirtz