Search Results - Delfosse, Charly

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

    The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 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, Sickert, Salomon, Staquet, Gaëtan, Tamines, Clément, Tentrup, Leander, Walker, Adam

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

    The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 by Jacobs, Swen, Perez, Guillermo A, Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, Tom van Dijk, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Philipp Schlehuber-Caissier, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Clement Tamines, Tentrup, Leander, Walker, Adam

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: