Login / Signup
Interaction Abstraction for Compositional Finite State Systems.
Wayne Liu
Published in:
SPIN (2000)
Keyphrases
</>
finite state
markov chain
model checking
reinforcement learning
markov decision processes
state space
finite number
vector quantizer