The paper "Verifiable Control of Robotic Swarm from High-level Specifications" by Ji Chen, Salar Moarref and Hadas Kress-Gazit was accepted to International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).
The paper "Verifiable Control of Robotic Swarm from High-level Specifications" by Ji Chen, Salar Moarref and Hadas Kress-Gazit was accepted to International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).