Login / Signup

The Implicit Set Paradigm: A New Approach to Finite State System Verification.

Olivier CoudertJean Christophe Madre
Published in: Formal Methods Syst. Des. (1995)
Keyphrases
  • finite state
  • model checking
  • markov chain
  • markov decision processes
  • image coding
  • policy iteration