Swarm and Collective Capabilities for Multipotent Robot Ensembles

Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif. Swarm and Collective Capabilities for Multipotent Robot Ensembles. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 525-540, Springer, 2020. [doi]

Authors

Oliver Kosak

This author has not been identified. Look up 'Oliver Kosak' in Google

Felix Bohn

This author has not been identified. Look up 'Felix Bohn' in Google

Lennart Eing

This author has not been identified. Look up 'Lennart Eing' in Google

Dennis Rall

This author has not been identified. Look up 'Dennis Rall' in Google

Constantin Wanninger

This author has not been identified. Look up 'Constantin Wanninger' in Google

Alwin Hoffmann

This author has not been identified. Look up 'Alwin Hoffmann' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google