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

Xiaobing Wang; Kun Yang; Yanmei Wang; Liang Zhao; Xinfeng Shu

doi:10.1007/978-3-030-41418-4_6

ScienceGate Book Chapters

BOOK-CHAPTER

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

Xiaobing Wang Kun Yang Yanmei Wang Liang Zhao Xinfeng Shu

Year: 2020 Lecture notes in computer science Pages: 73-87 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-030-41418-4_6

Get Full-Text PDF Get Analytical Report

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

Cited By

0.78

FWCI (Field Weighted Citation Impact)

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

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

Metrics

Citation History

Topics

Related Documents

Formal verification of neural networks

Formal Verification of Neural Networks?

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic

Towards Formal Verification of Neural Networks in Cyber-Physical Systems

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