scientific article; zbMATH DE number 1500643
From MaRDI portal
Publication:4501665
zbMath0961.68074MaRDI QIDQ4501665
Publication date: 7 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Automata Theory and Model Checking ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ Observations on determinization of Büchi automata ⋮ Index appearance record with preorders ⋮ Zielonka DAG acceptance and regular languages over infinite words ⋮ An impossibility result in automata-theoretic reinforcement learning ⋮ On the translation of automata to linear temporal logic ⋮ Unnamed Item ⋮ From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata ⋮ Index Appearance Record for Transforming Rabin Automata into Parity Automata ⋮ A tighter analysis of Piterman's Büchi determinization ⋮ A theory of ultimately periodic languages and automata with an application to time granularity ⋮ On Repetition Languages ⋮ \( \omega \)-automata ⋮ Rabin vs. Streett Automata
This page was built for publication:
