Login / Signup

Reasoning about Networks with Many Identical Finite State Processes

Michael C. BrowneEdmund M. ClarkeOrna Grumberg
Published in: Inf. Comput. (1989)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • markov decision processes
  • context free
  • optimal policy
  • vector quantizer
  • social networks
  • process model
  • temporal logic
  • average cost
  • transition systems