activity
20242026
most citedLearning Algorithms for Verification of Markov Decision Processes

2 citations · 3 across the 8 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.RO2025

Optimization-Based Robust Permissive Synthesis for Interval MDPs

Khang Vo Huynh, David Parker, Lu Feng

We present an optimization-based framework for robust permissive synthesis for Interval Markov Decision Processes (IMDPs). While robust IMDP controller synthesis typically yields a…

cs.LO2025★ 1 cited

Robust Probabilistic Bisimilarity for Labelled Markov Chains

Syyeda Zainab Fatmi, Stefan Kiefer, David Parker +1

Despite its prevalence, probabilistic bisimilarity suffers from a lack of robustness under minuscule perturbations of the transition probabilities. This can lead to discontinuities…