Personensuche
X
?
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE) ,
1
Architecture for Emergency Control of Autonomous UAV Ensemb..:
, In:
?
2020 Fourth IEEE International Conference on Robotic Computing (IRC) ,
2
Modeling and Execution of Coordinated Missions in Reconfigu..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
3
Swarm and Collective Capabilities for Multipotent Robot Ens..:
, In:
?
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) ,
4
Deadlock Avoidance for Multiple Tasks in a Self-Organizing ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
5
Maple-Swarm: Programming Collective Behavior for Ensembles ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
7
Synthesizing Capabilities for Collective Adaptive Systems f..:
, In:
?
2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W) ,
8