Author:
Askarpour Mehrnoosh,Tsigkanos Christos,Menghi Claudio,Calinescu Radu,Pelliccione Patrizio,Garcia Sergio,Caldas Ricardo,von Oertzen Tim J,Wimmer Manuel,Berardinelli Luca,Rossi Matteo,Bersani Marcello M.,Rodrigues Gabriel S.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Aloft: Self-Adaptive Drone Controller Testbed;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
2. Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
3. Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
4. 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
5. Towards Verifiable Multi-Agent Interaction Pattern Specification;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14