 Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using
Software VerificationInternational Workshop on Secure Internet of Things (SIoT), 2019 |
 Symmetry Reduction Enables Model Checking of More Complex Emergent
Behaviours of Swarm Navigation AlgorithmsTowards Autonomous Robotic Systems (TAROS), 2015 |