Cited in
(21)- Improving parity games in practice
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- scientific article; zbMATH DE number 7471697 (Why is no real title available?)
- mCRL2
- VMC
- PGSolver
- DeltaCCS
- Semantic labelling and learning for parity game solving in LTL synthesis
- Rabinizer
- Strix
- A delayed promotion policy for parity games
- scientific article; zbMATH DE number 7453081 (Why is no real title available?)
- Sylvan
- scientific article; zbMATH DE number 7453080 (Why is no real title available?)
- Improving parity game solvers with justifications
- Robust worst cases for parity games algorithms
- Synthesizing optimally resilient controllers
- ADG
- Owl
- BoSy
- Delag
This page was built for software: Oink
