Alternating-Time Temporal Logic

Computer Standards and Interfaces - Netherlands
doi 10.1016/s0920-5489(99)92088-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Regular Linear-Time Temporal Logic

2010English

A Resolution Calculus for the Branching-Time Temporal Logic CTL

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

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

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

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

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

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

The Alternating Fixpoint of Logic Programs With Negation

1989English

A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy
Philosophy
2014English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy