On the connections between PCTL and Dynamic Programming.

Federico Ramponi Debasish Chatterjee Sean Summers John Lygeros

Published in: CoRR (2009)

Keyphrases

dynamic programming
optimal control
linear programming
greedy algorithm
dp matching
databases
locally optimal
lagrangian relaxation
sequence alignment
coarse to fine
state space
data streams
piecewise linear
cooperative
data structure
bayesian networks
artificial intelligence