Determinization of Integral Discounted-Sum Automata is Decidable.

Shaull Almagor Neta Dafni

Published 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