Works by Meyer, Klara


Results: 3
    1
    2
    3

    The Reactive Synthesis Competition (SYNTCOMP): 2018–2021.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 551, doi. 10.1007/s10009-024-00754-1
    By:
    • Jacobs, Swen;
    • Pérez, Guillermo A.;
    • Abraham, Remco;
    • Bruyère, Véronique;
    • Cadilhac, Michaël;
    • Colange, Maximilien;
    • Delfosse, Charly;
    • van Dijk, Tom;
    • Duret-Lutz, Alexandre;
    • Faymonville, Peter;
    • Finkbeiner, Bernd;
    • Khalimov, Ayrat;
    • Klein, Felix;
    • Luttenberger, Michael;
    • Meyer, Klara;
    • Michaud, Thibaud;
    • Pommellet, Adrien;
    • Renkin, Florian;
    • Schlehuber-Caissier, Philipp;
    • Sakr, Mouhammad
    Publication type:
    Article