The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-6(4:9)2010
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Regular Linear-Time Temporal Logic

2010English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Linear Time Logic Control of Discrete-Time Linear Systems

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2006English

On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2019English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

The Influence of Linear-Time Models on Complexity Theory

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Cyclic Proofs for Linear Temporal Logic

English

Lower-Bound Time-Complexity Analysis of Logic Programs

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy