Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
doi 10.9781/ijimai.2016.375
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Universidad Internacional de La Rioja

Related search

Regular Linear-Time Temporal Logic

2010English

Cyclic Proofs for Linear Temporal Logic

English

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 and Propositional Schemata, Back and Forth

2011English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints

2012English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy