Automata vs Linear-Programming Discounted-Sum Inclusion.
Suguman BansalSwarat ChaudhuriMoshe Y. VardiPublished in: CAV (2) (2018)
Keyphrases
- linear programming
- dynamic programming
- objective function
- linear program
- markov decision processes
- average cost
- feasible solution
- finite state
- primal dual
- infinite horizon
- finite automata
- np hard
- optimal policy
- optimal solution
- cellular automata
- finite horizon
- nonlinear programming
- integer programming
- optimal control
- finite state machines
- quadratic programming
- network flow
- square error
- constraint propagation
- case study
- column generation
- pattern matching
- optimization problems
- evolutionary algorithm
- search space
- decision making
- learning algorithm
- tree automata
- markov decision problems
- finite state automata
- probabilistic automata
- database