Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training
Yanliang Huang, Zhuocheng Zhang, Peng Xie +5
Reachability analysis for visuomotor policies is difficult because large visual encoders make end-to-end set propagation computationally expensive and excessively conservative. We…
cs.RO2026
Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data
Yanliang Huang, Zhen Zhang, Ahmad Hafez +4
Sim-to-real policies are designed under nominal dynamics, but target-system trials may yield only a few isolated one-step transitions. We study pre-execution certification of a fix…
cs.RO2025
Predictive Traffic Rule Compliance using Reinforcement Learning
Yanliang Huang, Sebastian Mair, Zhuoqi Zeng +1
Autonomous vehicle path planning has reached a stage where safety and regulatory compliance are crucial. This paper presents an approach that integrates a motion planner with a dee…