Affiliation:
1. University of York
2. Carnegie Mellon University
Funder
Defense Advanced Research Projects Agency
Reference50 articles.
1. Software architectures for robotic systems: A systematic mapping study
2. Autonomous Stuff "Velodyne LiDAR PUCK™ " retrieved on Mar. 7 2020 from https://www.autonomoustuff.com/wp-content/uploads/2016/08/VLP-16-Puck.pdf. Autonomous Stuff "Velodyne LiDAR PUCK ™ " retrieved on Mar. 7 2020 from https://www.autonomoustuff.com/wp-content/uploads/2016/08/VLP-16-Puck.pdf.
3. Compositional verification of self-adaptive cyber-physical systems
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
2. Robotics: A New Mission for FRET Requirements;Lecture Notes in Computer Science;2024
3. Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
5. Adapting Specifications for Reactive Controllers;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05