Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	CAV (33. : 2021 : Online) Computer aided verification ; Part 1
1. Verfasser:	Ivanov, Radoslav (VerfasserIn)
Weitere Verfasser:	Carpenter, Taylor (VerfasserIn), Weimer, James (VerfasserIn), Alur, Rajeev (VerfasserIn), Pappas, George (VerfasserIn), Lee, Insup (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Balancing Automation and Control for Formal Verification of Microprocessors	2021	Goel, Shilpi
Automated Safety Verification of Programs Invoking Neural Networks	2021	Christakis, Maria
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability	2021	Tran, Hoang-Dung
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming	2021	Wang, Qiuye
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems	2021	Mover, Sergio
Formally Verified Switching Logic for Recoverabilit of Aircraft Controller	2021	Lal, Ratan
Verified Cryptographic Code for Everybody	2021	Boston, Brett
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs	2021	Andriushchenko, Roman
Causality-Based Game Solving	2021	Baier, Christel
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks	2021	Zhang, Yedi
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities	2021	Itzhaky, Shachar
Stateless Model Checking Under a Reads-Value-From Equivalence	2021	Agarwal, Pratyush
Checking Data-Race Freedom of GPU Kernels, Compositionally	2021	Cogumbreiro, Tiago
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation	2021	Yang, Zhengfeng
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability	2021	André, Étienne
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions	2021	Sibai, Hussein
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security	2021	Eilers, Marco
Synthesis with Asymptotic Resource Bounds	2021	Hu, Qinheping
Program Sketching by Automatically Generating Mocks from Tests	2021	Bragg, Nate F. F.
Counterexample-Guided Partial Bounding for Recursive Function Synthesis	2021	Farzan, Azadeh

Alle Artikel auflisten