BOOK-CHAPTER

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework

Xiaobing WangKun YangYanmei WangLiang ZhaoXinfeng Shu

Year: 2020 Lecture notes in computer science Pages: 73-87   Publisher: Springer Science+Business Media
Keywords:
Correctness Computer science Robustness (evolution) Artificial neural network Formal verification Artificial intelligence Compiler Model checking Temporal logic Formal methods Deep learning Theoretical computer science Programming language

Metrics

5
Cited By
0.78
FWCI (Field Weighted Citation Impact)
23
Refs
0.72
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Adversarial Robustness in Machine Learning
Physical Sciences →  Computer Science →  Artificial Intelligence
Advanced Malware Detection Techniques
Physical Sciences →  Computer Science →  Signal Processing
Security and Verification in Computing
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

DISSERTATION

Formal verification of neural networks

Bunel, Rudy

University:   Oxford University Research Archive (ORA) (University of Oxford) Year: 2019
BOOK-CHAPTER

Formal Verification of Neural Networks?

Martin Leucker

Lecture notes in computer science Year: 2020 Pages: 3-7
JOURNAL ARTICLE

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic

Oliver BiggarMohammad Zamani

Journal:   IEEE Robotics and Automation Letters Year: 2020 Vol: 5 (2)Pages: 2341-2348
© 2026 ScienceGate Book Chapters — All rights reserved.