Sign in
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.
Patrick Doherty
Jonas Kvarnström
Fredrik Heintz
Published in:
Auton. Agents Multi Agent Syst. (2009)
Keyphrases
</>
temporal information
monitoring system
main contribution
uncertain environments
decision support
probabilistic model
software engineering
knowledge base
decision making
complex systems
artificial intelligence
neural network
human operators
plan execution
situation assessment
technical systems
real time