On improving reduced reachability analysis.

Leo Cacciari Omar Rafiq

Published in: FORTE (1992)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
real time
low cost
incremental algorithms