Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

DOI10.1007/11817949_33zbMATH Open1151.68462OpenAlexW1504137062MaRDI QIDQ5756590FDOQ5756590

Authors: Orna Kupferman, Sarai Sheinvald-Faragy 

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817949_33

Recommendations

• Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
• Short Witnesses and Accepting Lassos in ω-Automata
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 5872401
• scientific article; zbMATH DE number 1775458

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
• Certifying inexpressibility
• Survey on Directed Model Checking
• On relative and probabilistic finite counterability
• Tighter construction of tight Büchi automata
• POMDPs under probabilistic semantics
• Finite-word hyperlanguages
• Short Witnesses and Accepting Lassos in ω-Automata
• How hard is finding shortest counter-example lassos in model checking?
• Exhibition of a structural bug with wings

Uses Software

• LTL2BA

This page was built for publication: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756590)