Publications Using VerifAI

Main Papers

The main paper on VerifAI is:

Dreossi*, Fremont*, Ghosh*, Kim, Ravanbakhsh, Vazquez-Chanlatte, and Seshia, VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems, CAV 2019.

The Scenic environment modeling language is described in another paper (see the Scenic documentation for the most recent bibliography):

Fremont, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia, Scenic: A Language for Scenario Specification and Scene Generation, PLDI 2019. [full version]

* Equal contribution.

Case Studies

We have also used VerifAI in several industrial case studies:

Fremont, Chiu, Margineantu, Osipychev, and Seshia, Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI, CAV 2020 (to appear). [arXiv preprint]

Fremont, Kim, Pant, Seshia, Acharya, Bruso, Wells, Lemke, Lu, and Mehta, Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World, ITSC 2020 (to appear). [arXiv preprint]