Splitting reachability analysis in hybrid automata.

Patrice Boisieau Olivier F. Roux

Published in: ECRTS (1999)

Keyphrases

reachability analysis
hybrid automata
model checking
markov decision processes
finite state automata
timed automata
incremental algorithms
state space
artificial intelligence
knowledge base
finite state machines
finite state