A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages.

Abhisek Midya D. Gnanaraj Thomas

Published in: IWCIA (2022)

Keyphrases

finite state
markov chain
continuous time markov process
markov decision processes
model checking
context free
tree automata
partially observable markov decision processes
optimal policy
machine learning
action sets