SYNTCOMP 2022 PGAME

Prize

Description

Won the parity-game synthesis track of SYNTCOMP 2022
Awarded date20 Jul 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

Documents & Links