Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
type: Item
instance of: scholarly article
title: Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
zbMATH Open document ID: 1493.68211
DOI: 10.1007/978-3-030-81685-8_11
author: Radoslav Ivanov
author: Taylor Carpenter
author: James Weimer
author: Rajeev Alur
author: Insup Lee
author: George Pappas
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 34A34
Mathematics Subject Classification ID: 65G40
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 93C15
zbMATH DE Number: 7498140
describes a project that uses: Scenic
describes a project that uses: Breach
describes a project that uses: ReachNN
describes a project that uses: Reluplex
describes a project that uses: AI2
describes a project that uses: SpaceEx
describes a project that uses: S-TaLiRo
describes a project that uses: Flow*
MaRDI profile type: Publication
full work available at URL: 978-3-030-81685-8 11
OpenAlex ID: W3184441520
cites work: The algorithmic analysis of hybrid systems
cites work: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
cites work: Q5444070
cites work: Reachability analysis for neural feedback systems using regressive polynomial rule inference
cites work: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
cites work: Safety verification of deep neural networks
cites work: Case study
cites work: Verisig
cites work: Reluplex: an efficient SMT solver for verifying deep neural networks
cites work: On Taylor Model Based Integration of ODEs
cites work: Formal verification of neural network controlled autonomous systems
cites work: Verification of deep convolutional neural networks using ImageStars
cites work: Gray-box adversarial testing for control systems with machine learning components
Recommended article: Verisig
Recommended article: Formal verification of neural network controlled autonomous systems
Recommended article: An abstraction-based framework for neural network verification
Recommended article: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Recommended article: Q4969086
Recommended article: Advances in verification of ReLU neural networks
Recommended article: A learner-verifier framework for neural network controllers and certificates of stochastic systems
description: scientific article; zbMATH DE number 7498140