Funder
National Natural Science Foundation of China
National Key R & D Plan
Sci-Tech Innovation – Fundamental Scientific Research Funds
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Control and Systems Engineering,Computer Networks and Communications,Computer Science Applications,Information Systems
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language;Proceedings of the 10th ACM Cyber-Physical System Security Workshop;2024-07
2. Distributed Petri nets for model-driven verifiable robotic applications in ROS;Innovations in Systems and Software Engineering;2024-06-25
3. A framework for formal verification of robot kinematics;Journal of Logical and Algebraic Methods in Programming;2024-06
4. Temporal automata for robotic scenario modeling with CIT framework;Multimedia Tools and Applications;2024-01-06
5. Application of Deep neural network for an Effective user experience in an interactive platform;2023 Annual International Conference on Emerging Research Areas: International Conference on Intelligent Systems (AICERA/ICIS);2023-11-16