activity
20202026
most citedStructure and Content-Guided Video Synthesis with Diffusion Models

17 citations · 17 across the 4 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LG2020

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu +2

We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an in…