4 Search Results
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
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
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
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