Login / Signup

Generalized fair reachability analysis for cyclic protocols.

Hong LiuRaymond E. Miller
Published in: IEEE/ACM Trans. Netw. (1996)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • incremental algorithms
  • timed automata
  • state space
  • machine learning