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

Schlehuber-Caissier, Philipp

  1. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
    2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 4 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. The Temporal Logic Synthesis Format TLSF v1.2
    2023/03/07 by Swen Jacobs, Jacobs, Swen, Guillermo A. Pérez +3 · 1 citation
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques