Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. - Apala Pramanik; Sung Woo Choi; Yuntao Li; Luan Viet Nguyen; Kyungki Kim; Hoang-Dung Tran (MEMOCODE, 2024)