The Hardness of Local Certification of Finite-State Dynamics.
Diego MaldonadoPedro MontealegreMartín Ríos WilsonPublished in: CoRR (2023)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- average cost
- optimal policy
- action sets
- dynamical systems
- np hard
- finite state transducers
- policy iteration
- partially observable markov decision processes
- vector quantizer
- phase transition
- computational complexity
- data mining
- tree automata
- completely independent
- information theoretic
- state space
- probabilistic model
- multi agent