Oink
From MaRDI portal
Software:5973057
swMATH45998MaRDI QIDQ5973057FDOQ5973057
Author name not available (Why is that?)
Source code repository: https://github.com/trolando/oink
Cited In (10)
- Improving parity games in practice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A delayed promotion policy for parity games
- Title not available (Why is that?)
- Improving parity game solvers with justifications
- Robust worst cases for parity games algorithms
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
- Synthesizing optimally resilient controllers
This page was built for software: Oink
