Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
type: Item
instance of: scholarly article
title: Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
zbMATH Open document ID: 1153.03016
author: Joachim Klein
author: Christel Baier
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5083508
zbMATH Keywords: determinization
zbMATH Keywords: Safra's algorithm
zbMATH Keywords: \(\omega\)-automata
zbMATH Keywords: LTL
zbMATH Keywords: deterministic Rabin/Streett automata
describes a project that uses: LTL2BA
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.022
OpenAlex ID: W2087107980
cites work: Implementation and Application of Automata
cites work: Q5137353
cites work: Deciding full branching time logic
cites work: Q4536600
cites work: Q4535058
cites work: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
cites work: Q4551134
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Q4525725
cites work: Q4936149
cites work: Q4817542
cites work: Q4426372
cites work: Q4501665
cites work: Efficient minimization of deterministic weak \(\omega\)-automata
cites work: Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
cites work: Three Partition Refinement Algorithms
cites work: Correct Hardware Design and Verification Methods
cites work: Q2754087
DOI: 10.1016/J.TCS.2006.07.022
description: scientific article; zbMATH DE number 5083508