Login / Signup
Parallel Replacement in Finite State Calculus.
André Kempe
Lauri Karttunen
Published in:
COLING (1996)
Keyphrases
</>
finite state
markov chain
transition systems
markov decision processes
model checking
optimal policy
tree automata
action sets
reinforcement learning
temporal logic
average cost
continuous time bayesian networks