Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.
Laura R. HumphreyEric M. WolffUfuk TopcuPublished in: AAAI Spring Symposia (2014)
Keyphrases
- unmanned aerial vehicles
- formal specification
- specification languages
- model checking
- path planning
- object oriented design
- search and rescue
- specification language
- control algorithm
- reverse engineering
- dynamic environments
- process algebra
- formal methods
- concurrent systems
- aerial vehicles
- human operators
- planning problems
- planning domains
- software components
- data model
- image analysis
- information systems
- machine learning