Login / Signup
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
Murat Cubuktepe
Nils Jansen
Sebastian Junges
Joost-Pieter Katoen
Ivan Papusha
Hasan A. Poonawala
Ufuk Topcu
Published in:
CoRR (2017)
Keyphrases
</>
convex programming
markov decision processes
interior point methods
image processing
feature vectors
state space
semidefinite programming