Author:
Damour Mathieu,De Grancey Florence,Gabreau Christophe,Gauffriau Adrien,Ginestet Jean-Brice,Hervieu Alexandre,Huraux Thomas,Pagetti Claire,Ponsolle Ludovic,Clavière Arthur
Publisher
Springer International Publishing
Reference30 articles.
1. Asaadi, E., et al.: Assured integration of machine learning-based autonomy on aviation platforms. In: 39th Digital Avionics Systems Conference (DASC 2020) (2020)
2. AVSI: Final Report AFE 87 - Machine Learning (2020)
3. Hawkins, R., Calinescu, R., Picardi, C., Paterson, C., Habli, I.: Argument patterns and processes for machine learning in safety-related systems. University of York, York, U.K. (2020)
4. Clavière, A., Asselin, E., Garion, C., Pagetti, C.: Safety verification of neural network controlled systems. In: 7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) (2021)
5. Diederik, J.B., Kingma, P.: Adam: a method for stochastic optimization. In: 3rd International Conference for Learning Representations (2015)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献