• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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