VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

12 February 2019

Papers citing "VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems"

6 / 6 papers shown

Title
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System F. A. DÁsaro Francesco Genco Giuseppe Primiero 24 8 0 26 Jun 2022
Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification Pasquale Antonante Heath Nilsen Luca Carlone 50 24 0 22 May 2022
Monitoring and Diagnosability of Perception Systems Pasquale Antonante David I. Spivak Luca Carlone 6 31 0 11 Nov 2020
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh S. Seshia 29 14 0 04 Nov 2019
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 42 246 0 25 Sep 2018