Joost-Pieter Katoen

Papers

Total Citations

H-Index

About

Joost-Pieter Katoen is a leading figure in formal verification and probabilistic model checking, with a research focus on the synthesis and analysis of systems under uncertainty. His work bridges theoretical computer science and real-world robotics, particularly through the study of partially observable Markov decision processes (POMDPs) and probabilistic model checking for human-robot interaction. Katoen’s major contributions include developing game-based abstraction techniques for strategy synthesis in POMDPs, enabling robots to guarantee safety and performance specifications even with incomplete information. His 2020 paper on "Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions" (13 citations) exemplifies this impact, offering a rigorous framework for constrained decision-making. Additionally, his 2016 work on "Probabilistic Model Checking for Complex Cognitive Tasks" (7 citations) pioneers the use of verification tools to synthesize optimal robot policies in multi-tasking, human-interactive environments, leveraging reinforcement learning models of human behavior. Katoen’s research is notable for its practical relevance, addressing challenges in autonomous systems where human factors and uncertainty intersect. His contributions have advanced the field’s ability to design reliable, safe, and efficient robotic systems, making him a key influencer in probabilistic verification and its applications.