On regular temporal logics with past
type: Item
instance of: scholarly article
title: On regular temporal logics with past
zbMATH Open document ID: 1214.68211
author: Christian Dax
author: Felix Klaedtke
author: Martin Lange
published in: Acta Informatica
publication date: 2010-06-21T00:00:00Z
full work available at URL: http://hdl.handle.net/20.500.11850/18378
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5723608
zbMATH Keywords: linear-time temporal logics
zbMATH Keywords: finite-state model checking
zbMATH Keywords: alternating automata
zbMATH Keywords: regular/\(\omega\)-regular languages
describes a project that uses: NuSMV
MaRDI profile type: Publication
OpenAlex ID: W2033144652
cites work: Q4472249
cites work: SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
cites work: Some Complexity Results for SystemVerilog Assertions
cites work: Q4804909
cites work: Formal Methods in Computer-Aided Design
cites work: Alternation Elimination by Complementation (Extended Abstract)
cites work: The complexity of propositional linear temporal logics in simple cases
cites work: Q3086925
cites work: Mathematical Foundations of Computer Science 2003
cites work: Q4525781
cites work: Dynamic linear time temporal logic
cites work: Q4506483
cites work: Q4791853
cites work: Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
cites work: A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL
cites work: Q3711745
cites work: Q3395959
cites work: Alternating finite automata on \(\omega\)-words
cites work: Regular Linear Temporal Logic with Past
cites work: Relationships between nondeterministic and deterministic tape complexities
cites work: A note on the reduction of two-way automata to one-way automata
cites work: Temporal logic can be more expressive
DOI: 10.1007/S00236-010-0118-3
description: scientific article; zbMATH DE number 5723608