Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Kevin LeahyDingjiang ZhouCristian Ioan VasileKonstantinos OikonomopoulosMac SchwagerCalin BeltaPublished in: ISER (2014)
Keyphrases
- unmanned aerial vehicles
- provably correct
- search and rescue
- path planning
- autonomous systems
- dynamic environments
- interval arithmetic
- control algorithm
- formal methods
- human operators
- situation calculus
- constraint satisfaction
- electric vehicles
- constraint programming
- user interface
- aerial vehicles
- machine learning
- knowledge based systems
- ground truth
- control system
- reinforcement learning