The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.
Anton TarasyukInna PereverzevaElena TroubitsynaTimo LatvalaPublished in: SAFECOMP (2015)
Keyphrases
- formal language
- unmanned aerial vehicles
- mathematical theory
- modal logic
- classical logic
- robotic systems
- cooperative
- computational logic
- logic programming
- operational semantics
- autonomous systems
- digital circuits
- multi valued
- flight data
- truth values
- predicate logic
- neural network
- model theoretic
- remote sensing
- formal model
- formal methods
- satellite data
- proof theory
- space shuttle
- flight path
- ctl model update