Zakaria Chihani
发表
Roberto Blanco,
Zakaria Chihani,
Dale Miller,
2017,
CADE.
Zakaria Chihani,
Tomer Libal,
Giselle Reis,
2015,
TABLEAUX.
Zakaria Chihani,
Dale Miller,
Fabien Renaud,
2013,
CADE.
Roberto Blanco,
Zakaria Chihani,
2016
.
Zakaria Chihani,
Danko Ilik,
2015,
ArXiv.
François Bobot,
Zakaria Chihani,
Bruno Marre,
2017,
CPAIOR.
Zakaria Chihani,
Dale Miller,
Fabien Renaud,
2013
.
François Bobot,
Zakaria Chihani,
Sébastien Bardin,
2017,
ArXiv.
Zakaria Chihani,
Dale Miller,
2015,
LSFA.
Zakaria Chihani,
Dale Miller,
2016
.
Zakaria Chihani,
Guillaume Charpiat,
Marc Schoenauer,
2019,
ECAI.
Zakaria Chihani,
Dale Miller,
Fabien Renaud,
2013,
PxTP@CADE.
Zakaria Chihani,
Dale Miller,
Fabien Renaud,
2016,
Journal of Automated Reasoning.
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
pdf
Marc Schoenauer,
Zakaria Chihani,
Guillaume Charpiat,
2021,
ArXiv.
Zakaria Chihani,
Tomer Libal,
Giselle Reis,
2015
.