SYNTCOMP 2021 PGAME

Prize

Description

Won the parity-game synthesis track of SYNTCOMP 2021
Awarded date20 Jul 2021
Degree of recognitionInternational

Awarded at event

Event title33rd International Conference on Computer Aided Verification, CAV 2021
LocationVirtual Event
Period20 Jul 2021 → 23 Jul 2021

Documents & Links