Login / Signup
Compositional Minimization of Finite State Systems.
Susanne Graf
Bernhard 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