Merkliste 
 1 Ergebnisse 
 
1

Swarm and Collective Capabilities for Multipotent Robot Ens..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Kosak, Oliver ; Bohn, Felix ; Eing, Lennart... - p. 525-540 , 2020