Pinned Repositories
ho-transform-sbs
kurs-oi-moje
qpt-parity
Implementation of quasipolynomial-time Zielonka-style algorithms solving parity games
kurs-oi
pparys's Repositories
pparys/kurs-oi-moje
pparys/qpt-parity
Implementation of quasipolynomial-time Zielonka-style algorithms solving parity games
pparys/ho-transform-sbs