Introduction Complex / Carnegie Mellon University / University of Oldenburg / /
IndustryTerm
deductive verification tool / control systems / traffic protocols / realistic systems / parametric hybrid systems / game-theoretic semi-decision algorithm / physical control systems / hybrid systems / cooperation protocol / physical systems / semi-algebraic hybrid systems / wireless communication / verification tool / /
Organization
Transregional Collaborative Research Center / National Science Foundation / German Research Council / Carnegie Mellon University / Pittsburgh / Department of Computing Science / University of Oldenburg / Computer Science Department / Board of SFB/TR / /
Person
Jan-David Quesel / Platzer Quesel Davoren / Werner Damm / Bernd Becker / Platzer Quesel / Martin Fr / Jan-David Quesel Davoren / Reinhard Wilhelm / Andreas Podelski / /
Position
controller for its cooperation protocol / author / traffic agent / actual hybrid systems controller / safe controller / train controller / controller / Radio Block Controller / /
AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS