SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
No abstract available.
Related papers
- Mapping spiking neural networks onto a manycore neuromorphic architecture PLDI 2018
- OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks TACAS 2023
- Neural Network Robustness as a Verification Property: A Principled Case Study CAV 2022
- An SMT-Based Approach for Verifying Binarized Neural Networks TACAS 2021
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems CAV 2020
- VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification CAV 2026
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks CAV 2017