Minhyun Cho — accepted AI-conference papers

2026

RVSPEC: Cyber-Physical Interplay Graphs for Formal Specification of Robotic Vehicle Control Software

Chaoqi Zhang, Minhyun Cho, Inseok Hwang, Hyungsub Kim

ICRA 2026poster

Robotic vehicles (RVs) have increasingly deployed in critical missions. Yet, RV control software is prone to logic bugs that cause unexpected physical behaviors, deviating from the developers’ intentions. For instance, Hakuto-R Mission 1 lunar lander physically crashed on the lunar surface due to a …

Cited by 0 Scholar ↗

2025

Range-Based Multi-Robot Integrity Monitoring For Cyberattacks and Faults: An Anchor-Free Approach

Vishnu Vijay, Kartik Anand Pant, Minhyun Cho, Yifan Guo, James M. Goppert, Inseok Hwang

RA-L 2025

Coordination of multi-robot systems (MRSs) relies on efficient sensing and reliable communication among the robots. However, the sensors and communication channels of these robots are often vulnerable to cyberattacks and faults, which can disrupt their individual behavior and the overall objective o

Cited by 4 Source ↗Scholar ↗