scientific article; zbMATH DE number 1500643
From MaRDI portal
Publication:4501665
Recommendations
Cited in
(25)- -automata
- Index appearance record with preorders
- Automata theory and model checking
- From LTL and limit-deterministic Büchi automata to deterministic parity automata
- Index appearance record for transforming Rabin automata into parity automata
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- Structural complexity of -automata
- Multi-Valued Reasoning about Reactive Systems
- On Repetition Languages
- Rabin vs. Streett automata
- Zielonka DAG acceptance and regular languages over infinite words
- scientific article; zbMATH DE number 7770050 (Why is no real title available?)
- An impossibility result in automata-theoretic reinforcement learning
- On the translation of automata to linear temporal logic
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
- Modular mix-and-match complementation of Büchi automata
- Practical applications of the alternating cycle decomposition
- Stochastic games with lexicographic objectives
- The complexity of simplifying -automata through the alternating cycle decomposition
- Optimal transformations of games and automata using Muller conditions
- A theory of ultimately periodic languages and automata with an application to time granularity
- Experiments with deterministic -automata for formulas of linear temporal logic
- Observations on determinization of Büchi automata
- A tighter analysis of Piterman's Büchi determinization
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)
