Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
Yash Vardhan PantRhudii A. QuayeHoussam AbbasAkarsh VarreRahul MangharamPublished in: NFM (2019)
Keyphrases
- temporal logic
- modal logic
- mission planning
- model checking
- linear temporal logic
- temporally extended goals
- predicate logic
- verification method
- formal specification language
- model checker
- transition systems
- satisfiability problem
- bounded model checking
- temporally extended
- automata theoretic
- inference rules
- concurrent systems
- planning process
- symbolic model checking
- epistemic logic
- crew scheduling
- logic programming
- linear time temporal logic
- belief revision
- mazurkiewicz traces
- temporal knowledge
- planning domains
- situation calculus
- modal operators
- ai planning
- computation tree logic
- heuristic search
- logical formulas
- reactive systems
- dynamic constraints
- set theory
- unmanned aerial vehicles
- finite state
- path planning
- domain independent
- np complete