19 May
2020
19 May
'20
9:46 a.m.
Dear all,
I would like to announce the submission and acceptance to ECAI2020 of our paper. It falls
in the topics of SAFAIR: the idea is that one of the main obstacles to the usage of formal
methods in verification and validation of NN is the absence of formal specification
against which to verify. Our paper proposes a framework for NN that are trained on
simulated data (a prevalent process in certain areas where not enough "real"
data is available -- automotive for example), whereby the simulation process itself could
be considered as a spec.
I will send you a link to the proceedings when they will be available online.
@inproceedings{girardsatabin2020,
TITLE = {{CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems
Using Simulators}},
AUTHOR = {Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and
Schoenauer, Marc},
URL = {https://hal.inria.fr/hal-02440520},
BOOKTITLE = {{ECAI 2020 - 24th European Conference on Artificial Intelligence}},
ADDRESS = {Santiago de Compostela, Spain},
YEAR = {2020},
MONTH = Jun,
HAL_ID = {hal-02440520},
HAL_VERSION = {v1},
}
Best wishes, stay safe.
Zak
_____________________________