W2742512175

• Search and explore: symbiotic policy synthesis in POMDPs

  2026 Formal Methods in System Design article Social Sciences Policy Transfer and Learning Open access

  0

  citations
• Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

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

  1

  citations
• Search and Explore: Symbiotic Policy Synthesis in POMDPs

  2024 Research Square preprint Computer Science Optimization and Search Problems Open access

  1

  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
• Counterexample-guided inductive synthesis for probabilistic systems

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

  7

  citations
• Inductive Synthesis for Probabilistic Programs Reaches New Horizons

  2021 other Computer Science Formal Methods in Verification

  2

  citations
• Inductive Synthesis for Probabilistic Programs Reaches New Horizons

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

  13

  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

8 results