Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles.
Jake MagnessPatrick SweeneyScott GrahamNicholas KovachPublished in: Critical Infrastructure Protection (2020)
Keyphrases
- unmanned aerial vehicles
- asynchronous circuits
- search and rescue
- person identification
- path planning
- autonomous systems
- bounded model checking
- verification method
- control algorithm
- dynamic environments
- model checking
- logic programming
- formal verification
- aerial vehicles
- cooperative
- human operators
- modal logic
- background subtraction
- domain knowledge
- computer vision
- artificial intelligence