Filter your results
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Conference papers
hal-03855271v1
|
||
|
Certification of embedded systems based on Machine Learning: A survey2021
Preprints, Working Papers, ...
hal-03252906v2
|