Funder
European Research Council
Deutsche Forschungsgemeinschaft
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Programming Language Implementations with Multiparty Session Types;Lecture Notes in Computer Science;2024
2. CSP2Turtle: Verified Turtle Robot Plans;Robotics;2023-04-21
3. Robotics Concurrency: A Holistic Implementation using Actors and Promises;2022 International Conference on Computational Intelligence and Sustainable Engineering Solutions (CISES);2022-05-20
4. Symbolic reach-avoid control of multi-agent systems;Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems;2021-05-19
5. Software Engineering for Autonomous Robot: Challenges, Progresses and Opportunities;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12