Automatic Programming of Finite State Linear Programs.
Amir PnueliGiora SlutzkiPublished in: SIAM J. Comput. (1981)
Keyphrases
- automatic programming
- finite state
- linear program
- linear programming
- markov chain
- theorem proving
- markov decision processes
- optimal solution
- gene expression programming
- model checking
- simplex method
- mixed integer linear program
- np hard
- primal dual
- optimal policy
- stochastic programming
- dynamic programming
- simplex algorithm
- average cost
- partially observable markov decision processes
- objective function
- extreme points
- genetic programming
- lower bound
- state space
- stationary policies