Verifiable Control of Robotic Swarm from High-level Specifications

TitleVerifiable Control of Robotic Swarm from High-level Specifications
Publication TypeConference Paper
Year of Publication2018
AuthorsChen, J, Moarref, S, Kress-Gazit, H
Conference NameProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)
Date Published07/2018
Conference Location Stockholm, Sweden
URLhttp://dl.acm.org/citation.cfm?id=3237467
Citation KeyDBLP:conf/atal/ChenMK18