Login / Signup

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions.

Hong LiuRaymond E. Miller
Published in: ICNP (1995)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • finite state
  • timed automata
  • state space
  • incremental algorithms
  • real time
  • knowledge representation
  • sufficient conditions
  • optimal policy