Home > Verimag > Publications

Technical Reports

Stefano Minopoli and Goran Frehse
Non-Convex Invariants and Urgency Conditions on Linear Hybrid Automata (2014)

TR-2014-4.pdf

Keywords: hybrid systems, verification, formal methods, hybrid automata

Abstract:

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4183790

UGA

CNRS

INP Grenoble