Exact and Approximate Determinization of Discounted-Sum Automata.
Udi BokerThomas A. HenzingerPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- exact and approximate
- dynamic programming
- lower bound
- string matching
- markov decision processes
- query evaluation
- regular expressions
- infinite horizon
- finite state
- optimal policy
- branch and bound
- lower and upper bounds
- objective function
- object recognition
- multi dimensional
- upper bound
- learning algorithm
- learning problems
- data streams