Author:
Wirsing Martin,Hölzl Matthias,Tribastone Mirco,Zambonelli Franco
Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Component-based Distributed Software Reconfiguration:A Verification-oriented Survey;ACM Computing Surveys;2023-08-26
2. Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. Epistemic Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Rigorous engineering of collective adaptive systems: special section;International Journal on Software Tools for Technology Transfer;2020-05-13
5. Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system;International Journal on Software Tools for Technology Transfer;2020-03-11