Author:
Hanke Julian,Kosak Oliver,Schiendorfer Alexander,Reif Wolfgang
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Swarm and Collective Capabilities for Multipotent Robot Ensembles;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
2. Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
3. Ensemble Programming for Multipotent Systems;2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W);2019-06
4. Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018