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

v1v2 (latest)

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

12 February 2019

Daniel J. Fremont

Marcell Vazquez-Chanlatte

Sanjit A. Seshia

ArXiv (abs)PDF HTML

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

14 / 14 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 215 8 0 28 Aug 2023
Exploring Effects of Computational Parameter Changes to Image Recognition Systems Nikolaos Louloudakis Perry Gibson José Cano A. Rajan 65 6 0 01 Nov 2022
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System F. A. DÁsaro Francesco Genco Giuseppe Primiero 95 8 0 26 Jun 2022
Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification Pasquale Antonante Heath Nilsen Luca Carlone 96 25 0 22 May 2022
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems Josefine B. Graebener Apurva Badithela R. Murray 31 5 0 06 Apr 2022
A Search-Based Framework for Automatic Generation of Testing Environments for Cyber-Physical Systems D. Humeniuk Foutse Khomh G. Antoniol 25 25 0 23 Mar 2022
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles Ziyuan Zhong Gail E. Kaiser Baishakhi Ray 100 78 0 13 Sep 2021
Monitoring and Diagnosability of Perception Systems Pasquale Antonante David I. Spivak Luca Carlone 111 31 0 11 Nov 2020
ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments Craig Innes S. Ramamoorthy 71 7 0 02 Nov 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Efficient Black-box Assessment of Autonomous Vehicle Safety J. Norden Matthew O'Kelly Aman Sinha 89 66 0 08 Dec 2019
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh Sanjit A. Seshia 108 15 0 04 Nov 2019
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges Rob Ashmore R. Calinescu Colin Paterson AI4TS 73 119 0 10 May 2019
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 78 263 0 25 Sep 2018