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} 2018, Stockholm, Sweden, July 10-15, 2018
URLhttp://dl.acm.org/citation.cfm?id=3237467
Citation KeyDBLP:conf/atal/ChenMK18