Login / Signup

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

Murat CubuktepeNils JansenSebastian JungesJoost-Pieter KatoenIvan PapushaHasan A. PoonawalaUfuk Topcu
Published in: TACAS (2) (2017)
Keyphrases
  • convex programming
  • linear programming
  • reinforcement learning
  • markov decision processes
  • state space
  • principal component analysis
  • kernel methods
  • convex sets
  • interior point methods