until June 1, 2023: submission of new benchmarks and final versions of tools
until July 10, 2023: Competition, internal release of results
July 17-22, 2023: Presentation at SYNT 2023 and CAV 2023
until June 1, 2023: submission of new benchmarks and final versions of tools
until July 10, 2023: Competition, internal release of results
July 17-22, 2023: Presentation at SYNT 2023 and CAV 2023
Pingback: SYNTCOMP 2015: Schedule, Rules, FAQ, Submission | Reactive Synthesis Competition