Output details
11 - Computer Science and Informatics
University of Huddersfield
Return to search
Output 0 of 0 in the submission
Article title
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Type
D - Journal article
Title of journal
Autonomous Agents and Multi-Agent Systems
Article number
-
Volume number
19
Issue number
3
First page of article
332
ISSN of journal
1387-2532
Year of publication
2009
Number of additional authors
2
Additional information
<22>This article shows how temporal logics can be used as a basis for the specification and implementation of novel automated planners and execution monitoring systems. This formal work has served as a basis for development of an integrated software system used with several operational UAV platforms. The article attracted 44 citation (Google Scholar, as of 26/9/2013).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
17
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
