Description

Won the parity-game synthesis track of SYNTCOMP (again)

    Fingerprint