On the connections between PCTL and dynamic programming.
Federico RamponiDebasish ChatterjeeSean SummersJohn LygerosPublished in: HSCC (2010)
Keyphrases
- dynamic programming
- state space
- greedy algorithm
- stereo matching
- linear programming
- dynamic programming algorithms
- dp matching
- optimal control
- single machine
- optimal policy
- upper bound
- scheduling problem
- artificial neural networks
- computational complexity
- high level
- piecewise linear
- infinite horizon
- artificial intelligence
- databases