scientific article; zbMATH DE number 1500643
From MaRDI portal
Publication:4501665
Recommendations
- Tighter Bounds for the Determinisation of Büchi Automata
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- scientific article; zbMATH DE number 4179361
- Structural complexity of \(\omega\)-automata
Cited in
(23)- On Repetition Languages
- Automata theory and model checking
- -automata
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- Experiments with deterministic -automata for formulas of linear temporal logic
- Structural complexity of \(\omega\)-automata
- Modular mix-and-match complementation of Büchi automata
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
- A theory of ultimately periodic languages and automata with an application to time granularity
- A tighter analysis of Piterman's Büchi determinization
- scientific article; zbMATH DE number 7770050 (Why is no real title available?)
- From LTL and limit-deterministic Büchi automata to deterministic parity automata
- An impossibility result in automata-theoretic reinforcement learning
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- Index appearance record for transforming Rabin automata into parity automata
- Rabin vs. Streett automata
- Zielonka DAG acceptance and regular languages over infinite words
- Stochastic games with lexicographic objectives
- Observations on determinization of Büchi automata
- Index appearance record with preorders
- Practical applications of the alternating cycle decomposition
- On the translation of automata to linear temporal logic
- Multi-Valued Reasoning about Reactive Systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501665)
