Funder
National Defense Science and Engineering Graduate Fellowship
Air Force Office of Scientific Research
NSF CPS
United States Air Force and Defense Advanced Research Projects Agency
Alexander von Humboldt Foundation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Artificial Intelligence,Control and Optimization,Computer Science Applications,Computer Vision and Pattern Recognition,Mechanical Engineering,Human-Computer Interaction,Biomedical Engineering,Control and Systems Engineering
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A framework for formal verification of robot kinematics;Journal of Logical and Algebraic Methods in Programming;2024-06
2. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
3. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
4. RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29
5. A component framework for the runtime enforcement of safety properties;Journal of Systems and Software;2023-04