Determinization of Integral Discounted-Sum Automata is Decidable.
Shaull AlmagorNeta DafniPublished in: FoSSaCS (1) (2024)
Keyphrases
- automata theoretic
- markov decision processes
- finite state
- cellular automata
- objective function
- optimal policy
- weighted sum
- temporal logic
- cash flow
- dynamic programming
- finite automata
- average cost
- regular expressions
- machine learning
- lattice gas
- first order logic
- finite state machines
- learning algorithm
- transitive closure
- regular path queries
- polynomial hierarchy
- genetic algorithm