A Markovian Decision Process

• Reinforcement learning supported quality control loop for solid forming processes

  2026 Procedia CIRP article Computer Science Reinforcement Learning in Robotics Open access

  0

  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
• J-P: MDP. FP. PP

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  2

  citations
• Training-free thick cloud removal for Sentinel-2 imagery using value propagation interpolation

  2024 ISPRS Journal of Photogrammetry and Remote Sensing article Environmental Science Remote Sensing in Agriculture Open access

  23

  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
• Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

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

  0

  citations
• Deep multiagent reinforcement learning: challenges and directions

  2022 Artificial Intelligence Review article Computer Science Reinforcement Learning in Robotics Open access cited by 2 patents

  195

  citations
• Towards verifiable Benchmarks for Reinforcement Learning

  2022 IEEE Conference on Games (CoG) conference-paper Computer Science Reinforcement Learning in Robotics

  3

  citations
• A Unifying Framework for Reinforcement Learning and Planning

  2022 Frontiers in Artificial Intelligence article Computer Science Reinforcement Learning in Robotics Open access cited by 1 patent

  16

  citations
• VPint: value propagation-based spatial interpolation

  2022 Data Mining and Knowledge Discovery article Economics, Econometrics and Finance Spatial and Panel Data Analysis Open access

  7

  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
• Multiagent Deep Reinforcement Learning: Challenges and Directions Towards Human-Like Approaches.

  2021 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

  12

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations

13 results