Finite-State Classical Mechanics.

Norman Margolus

Published in: CoRR (2018)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
quantum mechanics
transition systems
vector quantizer
partially observable markov decision processes
context free
tree automata
temporal logic
action sets
sufficient conditions
average cost
continuous time bayesian networks