Generalized fair reachability analysis for cyclic protocols: part 1.

Hong Liu Raymond E. Miller

Published in: PSTV (1994)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
incremental algorithms
real time
optimal solution
markov chain