scientific article; zbMATH DE number 4041274
From MaRDI portal
Publication:3779749
Recommendations
- Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition
- On alternating \(\omega\)-automata
- Automata, Logic and Games for the $$\lambda $$ -Calculus
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Alternating tree automata, parity games, and modal -calculus
- Uncoupled automata and pure Nash equilibria
- scientific article; zbMATH DE number 4035152
- Publication:3033342
- Finite automata equilibria with discounting
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 Q3779749)