Description

Won the parity-game synthesis track of SYNTCOMP 2022
Degree of recognitionInternational

Awarded at event

Event title34th International Conference on Computer Aided Verification, CAV 2022
LocationHaifa, IsraelShow on map
Period7 Aug 2022 → 10 Aug 2022

    Fingerprint