Temporal logic control for an autonomous quadrotor in a nondeterministic environment.
Alphan UlusoyMichael MarrazzoKonstantinos OikonomopoulosRyan HunterCalin BeltaPublished in: ICRA (2013)
Keyphrases
- temporal logic
- robotic systems
- model checking
- autonomous systems
- semi autonomous
- modal logic
- satisfiability problem
- autonomous vehicles
- reactive systems
- concurrent systems
- mobile robot
- control system
- linear temporal logic
- transition systems
- finite state
- control method
- dynamic environments
- computation tree logic
- unmanned aerial vehicles
- temporal knowledge
- verification method
- formal specification
- path planning
- dynamic constraints