The complexity of counting models of linear-time temporal logic
type: Item
instance of: scholarly article
title: The complexity of counting models of linear-time temporal logic
zbMATH Open document ID: 1390.68441
author: Hazem Torfah
author: Martín G. Zimmermann
published in: Acta Informatica
publication date: 2018-04-17T00:00:00Z
full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4846/
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6860707
describes a project that uses: Unbeast
describes a project that uses: Acacia+
MaRDI profile type: Publication
OpenAlex ID: W2964114371
cites work: Computational Complexity
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Unbeast: Symbolic Bounded Synthesis
cites work: Bounded Synthesis
cites work: Counting Models of Linear-Time Temporal Logic
cites work: LTL Path Checking Is Efficiently Parallelizable
cites work: Polynomial Space Counting Problems
cites work: The complexity of counting self-avoiding walks in subgraphs of two-dimensional grids and hypercubes.
cites work: Stochastic Boolean satisfiability
cites work: Processing succinct matrices and vectors
cites work: The complexity of propositional linear temporal logics
cites work: Safety, liveness and fairness in temporal logic
cites work: The Complexity of Counting Models of Linear-time Temporal Logic
cites work: The complexity of computing the permanent
DOI: 10.1007/S00236-016-0284-Z
Recommended article: The Complexity of Counting Models of Linear-time Temporal Logic
Recommended article: Counting Models of Linear-Time Temporal Logic
Recommended article: The complexity of propositional linear temporal logics
Recommended article: Q5311048
Recommended article: The complexity of the temporal logic with ``until'' over general linear time
Recommended article: Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
Recommended article: Complexity of metric temporal logics with counting and the Pnueli modalities
Recommended article: Model-Checking Counting Temporal Logics on Flat Structures
Recommended article: The complexity of linear-time temporal logic over the class of ordinals
Recommended article: The complexity of propositional linear temporal logics in simple cases
description: scientific article; zbMATH DE number 6860707