PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	CAV (32. : 2020 : Online) Computer aided verification ; Part 1
1. Verfasser:	Devonport, Alex (VerfasserIn)
Weitere Verfasser:	Khaled, Mahmoud (VerfasserIn), Arcak, Murat (VerfasserIn), Zamani, Majid (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
NNV: The Neural Network Verification Tool for Deep Neural Networks and Leaming-Enabled Cyber-Physical Systems	2020	Tran, Hoang-Dung
Verification of Deep Convolutional Neural Networks Using ImageStars	2020	Tran, Hoang-Dung
HAMPA: Solver-Aided Recency-Aware Replication	2020	Li, Xiao
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components	2020	Truong, Lenny
Approximate Counting of Minimal Unsatisfiable Subsets	2020	Bendik, Jaroslav
Nonlinear Craig Interpolant Generation	2020	Gan, Ting
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing	2020	Slivovsky, Friedrich
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks	2020	Benes, Nikola
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation	2020	Chen, Xin
Reachability Analysis Using Message Passing over Tree Decompositions	2020	Sankaranarayanan, Sriram
Synthesis of Super-Optimized Smart Contracts Using Max-SMT	2020	Albert, Elvira
Parameterized Verification of Systems with Global Synchronization and Guards	2020	Jaber, Nouraldin
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs	2020	Schemmel, Daniel
SAW: A Tool for Safety Analysis of Weakly-Hard Systems	2020	Huang, Chao
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models	2020	Fan, Chuchu
Systematic Generation of Diverse Benchmarks for DNN Verification	2020	Xu, Dong
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract	2020	Park, Daejun
The Move Prover	2020	Zhong, Jingyi Emma
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations	2020	Sahai, Shubham
Validation of Abstract Side-Channel Models for Computer Architectures	2020	Nemati, Hamed

Alle Artikel auflisten