Oink

MaRDI QIDQ5973057swMATHFDO

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

(21)

• Sylvan
• mCRL2
• A delayed promotion policy for parity games
• Improving parity games in practice
• VMC
• Robust worst cases for parity games algorithms
• Synthesizing optimally resilient controllers
• PGSolver
• DeltaCCS
• Rabinizer
• Semantic labelling and learning for parity game solving in LTL synthesis
• Strix
• A parity game tale of two counters
• Simple fixpoint iteration to solve parity games
• scientific article; zbMATH DE number 7455738 (Why is no real title available?)
• A recursive approach to solving parity games in quasipolynomial time
• Owl
• Delag
• ADG
• BoSy
• Improving parity game solvers with justifications

This page was built for software: Oink