K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language
PROCEEDINGS OF THE 10TH ACM CYBER-PHYSICAL SYSTEM SECURITY WORKSHOP, ACM CPSS 2024（2024）
关键词
Industrial robots,Formal methods in robotics and automation,Robot programming,RAPID language,K-Framework
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要