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

Showing 1 - 6
  1. caisar

    No documentation

    A platform for characterizing the safety and robustness of artificial intelligence based software
    AISER team, Software Safety and Security Laboratory, CEA-List
    6.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository