%0 Conference Paper %1 conf/ecai/Girard-SatabinC20 %A Girard-Satabin, Julien %A Charpiat, Guillaume %A Chihani, Zakaria %A Schoenauer, Marc %B ECAI %D 2020 %E Giacomo, Giuseppe De %E Catalá, Alejandro %E Dilkina, Bistra %E Milano, Michela %E Barro, Senén %E Bugarín, Alberto %E Lang, Jérôme %I IOS Press %K dblp %P 2497-2504 %T CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#Girard-SatabinC20 %V 325 %@ 978-1-64368-101-6

@inproceedings{conf/ecai/Girard-SatabinC20, added-at = {2021-01-29T00:00:00.000+0100}, author = {Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc}, biburl = {https://www.bibsonomy.org/bibtex/29311e1f6204aaf2b3de4d86584571d07/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2020}, editor = {Giacomo, Giuseppe De and Catalá, Alejandro and Dilkina, Bistra and Milano, Michela and Barro, Senén and Bugarín, Alberto and Lang, Jérôme}, ee = {https://doi.org/10.3233/FAIA200383}, interhash = {aa06db528cdcd2f6af2c4b1bb3a67ab2}, intrahash = {9311e1f6204aaf2b3de4d86584571d07}, isbn = {978-1-64368-101-6}, keywords = {dblp}, pages = {2497-2504}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:29.000+0200}, title = {CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#Girard-SatabinC20}, volume = 325, year = 2020 }