Checking history-determinism is NP-hard for parity automata
From MaRDI portal
Publication:6629459
Cites work
- scientific article; zbMATH DE number 3972842 (Why is no real title available?)
- scientific article; zbMATH DE number 3560737 (Why is no real title available?)
- scientific article; zbMATH DE number 1332671 (Why is no real title available?)
- scientific article; zbMATH DE number 7471692 (Why is no real title available?)
- scientific article; zbMATH DE number 7577580 (Why is no real title available?)
- scientific article; zbMATH DE number 7799616 (Why is no real title available?)
- Advanced Ramsey-based Büchi automata inclusion testing
- Beyond hyper-minimisation -- minimising DBAs and DPAs is NP-complete
- Borel determinacy
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- Deciding Parity Games in Quasi-polynomial Time
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Fair simulation
- Generalized Parity Games
- How deterministic are good-for-games automata?
- Mathematical Foundations of Computer Science 2005
- On Determinisation of Good-for-Games Automata
- On Distributive Fixed-Point Expressions
- On history-deterministic one-counter nets
- Solving Games Without Determinization
- The Complexity of Tree Automata and Logics of Programs
- The Theory of Stabilisation Monoids and Regular Cost Functions
- Theories of automata on \(\omega\)-tapes: a simplified approach
This page was built for publication: Checking history-determinism is NP-hard for parity automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6629459)
