Author:
Sljivo Irfan,Denney Ewen,Menzies Jonathan
Publisher
Springer Nature Singapore
Reference22 articles.
1. GSN Community Standard Version 3. Technical report, Assurance Case Working Group of The Safety-Critical Systems Club (2021). https://scsc.uk/r141C:1
2. Asaadi, E., Denney, E., Menzies, J., Pai, G.J., Petroff, D.: Dynamic assurance cases: a pathway to trusted autonomy. Computer 53(12), 35–46 (2020). https://doi.org/10.1109/MC.2020.3022030
3. Lecture Notes in Computer Science;N Basir,2008
4. Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of relu-based neural networks via dependency analysis. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, pp. 3291–3299 (2020)
5. Lecture Notes in Computer Science;H Bourbouh,2021