Bisimulations for neural network reduction

DOI10.1007/978-3-030-94583-1_14zbMath1498.68169arXiv2110.03726OpenAlexW4206049941MaRDI QIDQ2152656

Pavithra Prabhakar

Publication date: 8 July 2022

Full work available at URL: https://arxiv.org/abs/2110.03726

zbMATH Keywords

verificationneural networksreductionbisimulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• MATISSE
• Reluplex

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximate simulation relations for hybrid systems
• Bisimulation through probabilistic testing
• Reluplex: an efficient SMT solver for verifying deep neural networks
• An abstraction-based framework for neural network verification
• Abstract neural networks
• Approximate bisimulation relations for constrained linear systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

This page was built for publication: Bisimulations for neural network reduction