Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Lecture Notes in Computer Science - Germany
doi 10.1007/11817963_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

Regular Linear-Time Temporal Logic

2010English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Cyclic Proofs for Linear Temporal Logic

English

Monitor Circuits for LTL With Bounded and Unbounded Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Linear Temporal Logic and Propositional Schemata, Back and Forth

2011English

Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
2000English

Many-Dimensional Modal Logic of Tense and Temporal Interval and Its Decidability

Transactions of the Japanese Society for Artificial Intelligence
Artificial IntelligenceSoftware
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy