swMATH45998MaRDI QIDQ5973057FDOQ5973057
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-319-89960-2_16
Source code repository: https://github.com/trolando/oink
Cited In (20)
- Improving parity games in practice
- Title not available (Why is that?)
- BoSy
- Delag
- Sylvan
- Title not available (Why is that?)
- Semantic labelling and learning for parity game solving in LTL synthesis
- Title not available (Why is that?)
- A delayed promotion policy for parity games
- VMC
- PGSolver
- DeltaCCS
- Rabinizer
- Strix
- Title not available (Why is that?)
- ADG
- Owl
- Improving parity game solvers with justifications
- Robust worst cases for parity games algorithms
- Synthesizing optimally resilient controllers
This page was built for software: Oink
