← authors · overview

• Infinite Time Horizon Safety of Bayesian Neural Networks
  2021 · 1 citations
• Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
  2022 · 1 citations
• Solving Long-run Average Reward Robust MDPs via Stochastic Games
  2023 · 1 citations
• Certificate-Guided Evaluation of Reinforcement Learning Generalization
  2026
• Automating the Refinement of Reinforcement Learning Specifications
  2025
• Optimizing Expectation with Guarantees in POMDPs (Technical Report)
  2016
• Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
  2024