Skip to content
Snippets Groups Projects
Commit ba4419b7 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[doc] Removed spurious Reference section

parent 2fdb9fa4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/acas_xu.rst
+ 0
− 3
View file @ ba4419b7
...@@ -398,9 +398,6 @@ sub-results to provide the final result corresponding to the original goal ...@@ -398,9 +398,6 @@ sub-results to provide the final result corresponding to the original goal
formula. formula.
References
==========
.. [Manfredi2016] G. Manfredi and Y. Jestin, *An introduction to ACAS Xu and the .. [Manfredi2016] G. Manfredi and Y. Jestin, *An introduction to ACAS Xu and the
challenges ahead*, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference challenges ahead*, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference
(DASC), 2016, pp. 1-9, doi: 10.1109/DASC.2016.7778055 (DASC), 2016, pp. 1-9, doi: 10.1109/DASC.2016.7778055
......
doc/mnist.rst
+ 0
− 2
View file @ ba4419b7
...@@ -152,8 +152,6 @@ for which nnenum is sure that the model ``MNIST_256_2.onnx`` is not robust with ...@@ -152,8 +152,6 @@ for which nnenum is sure that the model ``MNIST_256_2.onnx`` is not robust with
respect to :math:`1 \%` perturbation. At the moment, CAISAR is not able to tell respect to :math:`1 \%` perturbation. At the moment, CAISAR is not able to tell
which are the images in the dataset that cause such result. which are the images in the dataset that cause such result.
References
==========
.. [LiDeng2012] Li Deng, *The MNIST Database of Handwritten Digit Images for .. [LiDeng2012] Li Deng, *The MNIST Database of Handwritten Digit Images for
Machine Learning Research*, IEEE Signal Process. Mag., 2012, pp. Machine Learning Research*, IEEE Signal Process. Mag., 2012, pp.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment