Finite-State Relative Dimension, dimensions of A. P. subsequences and a Finite-State van Lambalgen's theorem.
Satyadev NandakumarSubin PulariAkhil SPublished in: CoRR (2023)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- context free
- average cost
- multiple dimensions
- partially observable markov decision processes
- state space
- transition systems
- completely independent
- continuous time bayesian networks
- variable length
- tree automata
- temporal logic
- finite state transducers