Login / Signup

Testing for Finite State Systems.

Mihalis YannakakisDavid Lee
Published in: CSL (1998)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • distributed systems
  • model checking
  • tree automata