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]
@inproceedings{PramanikCLNKT24,
title = {Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems},
author = {Apala Pramanik and Sung Woo Choi and Yuntao Li and Luan Viet Nguyen and Kyungki Kim and Hoang-Dung Tran},
year = {2024},
doi = {10.1109/MEMOCODE63347.2024.00021},
url = {https://doi.org/10.1109/MEMOCODE63347.2024.00021},
researchr = {https://researchr.org/publication/PramanikCLNKT24},
cites = {0},
citedby = {0},
pages = {124-134},
booktitle = {22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024},
publisher = {IEEE},
isbn = {979-8-3503-7802-3},
}