Planning and acting in partially observable stochastic domains

• What Should a Network-Aware Agent Observe? A Systematic Analysis of Metadata Features for Reinforcement Learning Control over Wireless Links

  2026 Electronics article Computer Science Reinforcement Learning in Robotics Open access

  0

  citations
• Search and explore: symbiotic policy synthesis in POMDPs

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

  1

  citations
• Injection optimization at particle accelerators via reinforcement learning: From simulation to real-world application

  2025 Physical Review Accelerators and Beams article Engineering Particle accelerators and beam dynamics Open access

  6

  citations
• Search and Explore: Symbiotic Policy Synthesis in POMDPs

  2024 Research Square preprint Computer Science Formal Methods in Verification Open access

  1

  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
• Gradient-Descent for Randomized Controllers Under Partial Observability

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

  13

  citations
• Under-Approximating Expected Total Rewards in POMDPs

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

  10

  citations
• POMDP Controllers with Optimal Budget

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

  0

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• Counterexample-guided inductive synthesis for probabilistic systems

  2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

  7

  citations
• PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

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

  21

  citations
• Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

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

  13

  citations
• Verification of Indefinite-Horizon POMDPs

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

  23

  citations

13 results