Bounded real-time dynamic programming

• The revised practitioner’s guide to MDP model checking algorithms

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

  1

  citations
• Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate

  2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

  3

  citations
• Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

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

  2

  citations
• A Practitioner’s Guide to MDP Model Checking Algorithms

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

  35

  citations
• A Unifying Framework for Reinforcement Learning and Planning

  2022 Frontiers in Artificial Intelligence article Computer Science Reinforcement Learning in Robotics Open access

  16

  citations
• Approximating Values of Generalized-Reachability Stochastic Games

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

  14

  citations

6 results