Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-20652-9_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Temporal Logic Motion Planning for Mobile Robots

English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

Temporal Logic Query Checking: A Tool for Model Exploration

IEEE Transactions on Software Engineering
Software
2003English

Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints

2012English

A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Aeromagnetic Surveying Using a Simulated Unmanned Aircraft System

English

LITO - A Logic for Indeterminate Temporal Objects

2004English

Fingerprints Identification Using a Fuzzy Logic System

International Journal of Computers, Communications and Control
MathematicsComputer NetworksComputer Science ApplicationsComputational TheoryCommunications
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy