Convex Optimization for Parameter Synthesis in MDPs

Open in new window