Convex Optimization for Parameter Synthesis in MDPs

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 01, 2022
Source ID
10.1109/tac.2021.3133265

Entities

People

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

Organizations

  • Air Force Research Laboratory
  • National Aeronautics and Space Administration
  • National Science Foundation
  • Office of Naval Research
  • RWTH Aachen University
  • Radboud University Nijmegen
  • University of Texas at Austin