Compositional Minimization of Finite State Systems.

Susanne Graf Bernhard Steffen

Published in: CAV (1990)

Keyphrases

finite state
markov chain
machine learning
markov decision processes
retrieval systems
learning algorithm
state space
least squares
distributed systems