Login / Signup
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.
Alberto Puggelli
Wenchao Li
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
CAV (2013)
Keyphrases
</>
markov decision processes
special case
convexity properties
convex optimization
model checking
globally optimal
worst case
state space
approximation algorithms
convex constraints
reinforcement learning
petri net
least squares
convex hull
piecewise linear
convex functions
planning under uncertainty