Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran. Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. In 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024. pages 124-134, IEEE, 2024. [doi]
Abstract is missing.