output
20122026
most citedStandardized Assessment of Automatic Segmentation of White Matter Hyperintensities and Results of the WMH Segmentation Challenge

309 citations

researchers with a paper here
collaborating institutions
Showing 2017Show all

1 paper · 1 filter

cs.LO2017★ 30 cited

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Swen Jacobs, Nicolas Basset, Roderick Bloem +11

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…