Convex Optimization for Parameter Synthesis in MDPs

DOI10.1109/tac.2021.3133265arXiv2107.00108OpenAlexW4205437843MaRDI QIDQ6053142

Sebastian Junges, Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Ufuk Topcu

Publication date: 26 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.00108

zbMATH Keywords

convex optimizationMarkov processes

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

\textsf{PFL}: a probabilistic logic for fault trees

This page was built for publication: Convex Optimization for Parameter Synthesis in MDPs