A Weyl Criterion for Finite-State Dimension and Applications.

Jack H. Lutz Satyadev Nandakumar Subin Pulari

Published in: MFCS (2023)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
average cost
temporal logic
partially observable markov decision processes
least squares
policy iteration
reinforcement learning
linear programming
multistage
tree automata
transition systems
continuous time bayesian networks