Tighter construction of tight Büchi automata
type: Item
instance of: scholarly article
title: Tighter construction of tight Büchi automata
DOI: 10.1007/978-3-031-57228-9_12
author: Marek Jankola
author: Jan Strejček
publication date: 2024-10-30T00:00:00Z
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7935688
MaRDI profile type: Publication
cites work: Practical applications of the alternating cycle decomposition
cites work: Q4804909
cites work: Q4625701
cites work: From Spot 2.0 to Spot 2.10: What’s New?
cites work: Short Witnesses and Accepting Lassos in ω-Automata
cites work: How hard is finding shortest counter-example lassos in model checking?
cites work: Q4536600
cites work: Model Checking Software
cites work: Q4551134
cites work: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
cites work: Q4817542
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q2754087
description: scientific article; zbMATH DE number 7935688