Login / Signup
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.
Werner Damm
Henning Dierks
Stefan Disch
Willem Hagemann
Florian Pigorsch
Christoph Scholl
Uwe Waldmann
Boris Wirtz
Published in:
Sci. Comput. Program. (2012)
Keyphrases
</>
hybrid automata
state space
finite state automata
markov chain
heuristic search
real valued time series
model checking
high level
search algorithm
symbolic representation
continuous variables
linear space
finite state automaton