vix.ing · top · new · best · stats · spec

Poonawala, Hasan A.

  1. Sequential Convex Programming for the Efficient Verification of Parametric MDPs
    2017/01/26 by Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian +4 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)