Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties

7 May 2024

S. Akshay

Papers citing "Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties"

2 / 2 papers shown

Title
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 60 25 0 11 Oct 2022
Some Applications of Polynomial Optimization in Operations Research and Real-Time Decision Making Amir Ali Ahmadi Anirudha Majumdar 51 74 0 22 Apr 2015