4 search results for "author:"LAISER team, Software Safety and Security Laboratory, CEA-List""

  1. caisar
    A platform for characterizing the safety and robustness of artificial intelligence based software
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    Last published 14 Jul 2022
  2. caisar-nnet
    NNet parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.1
    LGPL-2.1-only
    Used by 1 other packages
    Last published 14 Jul 2022
  3. caisar-onnx
    ONNX parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.1
    LGPL-2.1-only
    Used by 1 other packages
    Last published 14 Jul 2022
  4. caisar-ovo
    OVO parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.1
    LGPL-2.1-only
    Used by 1 other packages
    Last published 14 Jul 2022