144 I-C5 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
July 28, 2021 • United States
SPEAKER
Davide Corsi
University of Verona
SPEAKER
Alessandro Farinelli
Università degli Studi di Verona
SPEAKER
Enrico Marchesini
aboutabstractauthors
144 I-C5 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
July 28, 2021 • United States
SPEAKER
Davide Corsi
University of Verona
SPEAKER
Alessandro Farinelli
Università degli Studi di Verona
SPEAKER
Enrico Marchesini
similar conferences
next from UAI 2021view all
Multiple speakers
46 I-A4 Improving Uncertainty Calibration of Deep Neural Networks via Truth Discovery and Geometric Optimization
UAI 2021 • Jul 28, 2021
similar lectures
Joël Hartmann
Artificial Intelligence: Why Moving It to the Edge?
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Raghavan Kumar
A 9.0TOPS/W Hash-Based Deep Neural Network Accelerator Enabling 128× Model Compression in 10nm FinFET CMOS
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Saurabh Jain
Broad-Purpose In-Memory Computing for Signal Monitoring and Machine Learning Workloads
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Ming Ming Wong
A 2.1 pJ/SOP 40nm SNN Accelerator Featuring On-Chip Transfer Learning Using Delta STDP
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Yu-Tung Liu
A 1.625 TOPS/W SOC for Deep CNN Training and Inference in 28nm CMOS
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Chung-Ching Lin
A 4-Element 800MHz-BW 29mW True-Time-Delay Spatial Signal Processor Enabling Fast Beam-Training with Data Communications
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Sriram Balamurali
A 55-63 GHz Fundamental Quad-Core VCO with NMOS-Only Stacked Oscillator in 28 nm CMOS
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Surajit Kumar Nath
A 253-280 GHz Wide Tuning Range VCO with -3.5 dBm Peak Output Power in 40-nm CMOS
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Chengshuo Yu
A Zero-Skipping Reconfigurable SRAM In-Memory Computing Macro with Binary-Searching ADC
ESSCIRC ESSDERC 2021 • Sep 14, 2021
Joël Hartmann
A1L-1: Joint Plenary 1 - Artificial Intelligence: Why Moving It to the Edge?
ESSCIRC ESSDERC 2021 • Sep 13, 2021