search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Parity game solving #45

Closed gaperez64 closed 1 week ago

gaperez64 commented 8 months ago

We have antichain/downset data structures, spot as a front end to read HOA.

Why don't we implement a parity game solver following the antichain-based algorithm described in Lectures in GT for CStists (Chapter 6, Lemma 6.4)?

michaelcadilhac commented 8 months ago

Any reason why Oink/Knor isn't an option?

gaperez64 commented 8 months ago

I think that might indeed be better for a fair comparison.

Op za 30 dec. 2023 15:53 schreef Michaël Cadilhac @.***

:

Any reason why Oink/Knor isn't an option?

— Reply to this email directly, view it on GitHub https://github.com/gaperez64/acacia-bonsai/issues/45#issuecomment-1872542514, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAUJJ2JY42RDZYLG7IKE4XTYMATG7AVCNFSM6AAAAABBHN3D66VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNZSGU2DENJRGQ . You are receiving this because you authored the thread.Message ID: @.***>

michaelcadilhac commented 1 week ago

Implemented as https://github.com/michaelcadilhac/oink/tree/downsets.