Determinization of Integral Discounted-Sum Automata is Decidable.
Shaull AlmagorNeta DafniPublished in: CoRR (2023)
Keyphrases
- automata theoretic
- dynamic programming
- temporal logic
- finite automata
- probabilistic automata
- optimal policy
- markov decision processes
- infinite horizon
- finite state
- weighted sum
- cash flow
- regular path queries
- objective function
- data sets
- query answering
- tree automata
- first order logic
- state space
- special case
- lattice gas
- computation tree logic