Details for the publication Wang0SWPC24.

Zichen Wang, Jingyi Wang, Fu Song (), Kun Wang, Hongyi Pu, Peng Cheng: K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language. In Proceedings of the 10th ACM Cyber-Physical System Security Workshop, CPSS 2024, Singapore, 2 July 2024, pages 64-76, 2024. DOI BIB