activity
20242026
most citedRobust Probabilistic Bisimilarity for Labelled Markov Chains

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

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), motivated by robotic decision-making under transition unc…