Oink
From MaRDI portal
Software:5973057
No author found.
Source code repository: https://github.com/trolando/oink
Related Items (10)
Robust worst cases for parity games algorithms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis ⋮ A delayed promotion policy for parity games ⋮ Improving parity games in practice ⋮ Synthesizing optimally resilient controllers ⋮ Improving parity game solvers with justifications
This page was built for software: Oink
