Khang Vo Huynh

According to our database, Khang Vo Huynh authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation.

Chengyue Huang, Khang Vo Huynh, Sebastian Elbaum, Zsolt Kira, Lu Feng

CoRR, May, 2026

2025

Robust Permissive Controller Synthesis for Interval MDPs.

Khang Vo Huynh, David Parker, Lu Feng

CoRR, October, 2025