共 50 条
- [1] Formal verification for quantized neural networks ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
- [2] Formal verification for quantized neural networks ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
- [3] Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 73 - 87
- [4] Integration of neural networks and knowledge-based systems in medicine ARTIFICIAL INTELLIGENCE IN MEDICINE, 1995, 934 : 425 - 426
- [5] Verifying and Improving Neural Networks Using Testing-Based Formal Verification STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 126 - 141
- [6] The use of quaternions in the cryptographic key agreement protocol based on the architectures of the TPQM neural networks PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (07): : 90 - 91
- [7] Subject Integration and Applications of Neural Networks ADVANCES IN COMPUTATION AND INTELLIGENCE, PROCEEDINGS, 2009, 5821 : 375 - 381