Login / Signup
Verification of temporal properties on hybrid automata by simulation relations.
Alessandro D'Innocenzo
A. Agung Julius
George J. Pappas
Maria Domenica Di Benedetto
Stefano Di Gennaro
Published in:
CDC (2007)
Keyphrases
</>
temporal properties
model checking
hybrid automata
formal methods
temporal logic
formal specification
possibility theory
data mining
data analysis
expert systems
probability distribution
finite state machines
finite state automata