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

Showing 1 - 6
  1. caisar
    Documentation
    A platform for characterizing the safety and robustness of artificial intelligence based software
    LAISER team, Software Safety and Security Laboratory, CEA-List
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    12 Dec 2023
  2. caisar-ir
    Documentation
    CAISAR's intermediate representation
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 2 other packages
    27 Jun 2023
  3. caisar-nnet
    Documentation
    NNet parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  4. caisar-onnx
    Documentation
    ONNX parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  5. caisar-ovo
    Documentation
    OVO parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  6. caisar-xgboost
    Documentation
    XGBOOST parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023