The Hardness of Local Certification of Finite-State Dynamics.

Diego Maldonado Pedro Montealegre Martín Ríos-Wilson

Published in: LATIN (1) (2024)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
phase transition
dynamical systems
average cost
partially observable markov decision processes
search space
np hard
policy iteration
context free
computational complexity
vector quantizer
action sets