scientific article; zbMATH DE number 1555955
From MaRDI portal
Publication:4525725
zbMath0953.68563MaRDI QIDQ4525725
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
Publication date: 24 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Bounded model checking of infinite state systems ⋮ Linear temporal logic -- from infinite to finite horizon ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition ⋮ Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words ⋮ Unnamed Item ⋮ Generic Emptiness Check for Fun and Profit ⋮ Certifying inexpressibility ⋮ The Quest for a Tight Translation of Büchi to co-Büchi Automata ⋮ On Repetition Languages ⋮ Rabin vs. Streett Automata ⋮ How Deterministic are Good-For-Games Automata?
This page was built for publication: