Accueil > 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 | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159446

UGA

CNRS

INP Grenoble