Login / Signup

Compositional Minimization of Finite State Systems.

Susanne GrafBernhard Steffen
Published in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • markov decision processes
  • machine learning
  • objective function
  • optimal policy
  • vector quantizer