Robust Finite-State Controllers for Uncertain POMDPs

• Search and explore: symbiotic policy synthesis in POMDPs

  2026 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  0

  citations
• Tools at the Frontiers of Quantitative Verification

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• Learning Explainable and Better Performing Representations of POMDP Strategies

  2024 Lecture notes in computer science conference-paper Computer Science Reinforcement Learning in Robotics Open access

  5

  citations
• Search and Explore: Symbiotic Policy Synthesis in POMDPs

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  7

  citations
• Parameter Synthesis in Markov Models: A Gentle Survey

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  15

  citations
• Convex Optimization for Parameter Synthesis in MDPs

  2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

  21

  citations

7 results