Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
SYNTCOMP 2023 PGAME
van Dijk, Tom
(Recipient)
Formal Methods and Tools
Digital Society Institute
Prize
Description
Won the parity-game synthesis track of SYNTCOMP (again)
Awarded date
19 Jul 2023
Fingerprint
Synthesis
100%
X