conftrace_

robot swarm

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (2) flocking behavior (2) distributed algorithm (2) decentralized control (2) formal verification (2) local controller (1) bio-inspired model (1) emergent dynamics (1) modular robot (1) graph neural network (1)

Papers

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024 Towards Formal Verification of Neuro-symbolic Multi-agent Systems IJCAI 2023 A Unified Mathematical Approach for Foraging and Construction Systems in a 1,000,000 Robot Swarm IJCAI 2019 Efficient Algorithms for Optimal Perimeter Guarding RSS 2019 Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks CoRL 2019 What's in the Bag: A Distributed Approach to 3D Shape Duplication with Modular Robots RSS 2012 What Types of Interactions do Bio-Inspired Robot Swarms and Flocks Afford a Human? RSS 2012 Dynamic Task Assignment in Robot Swarms RSS 2005