vix.ing · top · new · best · stats · spec

Duret-Lutz, Alexandre

  1. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
    2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)