Sequencing fragments of cryptophyte plastomes from 16S rRNA to rbcL genes and phylogenetic analyses based on the protein encoding genes located in these fragments

von Tran, Hoang-Dung
Veröffentlicht 2009

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability

von Bak, Stanley
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Improved Geometric Path Enumeration for Verifying RelLU Neural Networks

von Bak, Stanley
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Verification of Deep Convolutional Neural Networks Using ImageStars

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Neural Network Repair with Reachability Analysis

von Yang, Xiaodong
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

VERIFICATION OF NEURAL NETWORK COMPRESSION OF ACAS XU LOOKUP TABLES WITH STAR SET REACHABILITY

von Lopez, Diego Manzanas
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

von Tran, Hoang-Dung
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

NNV: The Neural Network Verification Tool for Deep Neural Networks and Leaming-Enabled Cyber-Physical Systems

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)