Reachability Analysis with State-Compatible Automata.

Bertram Felgenhauer René Thiemann

Published in: LATA (2014)

Keyphrases

reachability analysis
timed automata
state space
finite state machines
markov decision processes
np complete
cellular automata
model checking
transition probabilities
finite state automaton