Taylor T. Johnson | DeepAI

DeepAI AI Chat

Featured Co-authors

Changliu Liu
61 publications
Xiaodong Yang
39 publications
Khaza Anuarul Hoque
21 publications
Sayan Mitra
16 publications
Stanley Bak
16 publications
Weiming Xiang
14 publications
Danil Prokhorov
14 publications
Hoang-Dung Tran
12 publications
Mark Niklas Müller
11 publications
Bardh Hoxha
10 publications
Tomoya Yamaguchi
8 publications

∙ 01/14/2023

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

This paper presents a summary and meta-analysis of the first three itera...

0 Christopher Brix, et al. ∙

∙ 12/20/2022

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

This report summarizes the 3rd International Verification of Neural Netw...

0 Mark Niklas Müller, et al. ∙

∙ 07/14/2022

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool

This work in progress paper introduces robustness verification for autoe...

0 Neelanjana Pal, et al. ∙

∙ 07/14/2022

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach

Satisfiability Modulo Theories (SMT) solvers have been successfully appl...

0 Luan V. Nguyen, et al. ∙

∙ 07/13/2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Continuous deep learning models, referred to as Neural Ordinary Differen...

0 Diego Manzanas Lopez, et al. ∙

∙ 07/08/2022

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents

Reinforcement Learning (RL) has become an increasingly important researc...

2 Nathaniel Hamilton, et al. ∙

∙ 05/03/2022

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

Recent advances in machine learning technologies and sensing have paved ...

26 Patrick Musau, et al. ∙

∙ 08/09/2021

Neural Network Repair with Reachability Analysis

Safety is a critical concern for the next generation of autonomy that is...

0 Xiaodong Yang, et al. ∙

∙ 06/22/2021

Reachability Analysis of Convolutional Neural Networks

Deep convolutional neural networks have been widely employed as an effec...

0 Xiaodong Yang, et al. ∙

∙ 04/26/2020

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach

The vulnerability of artificial intelligence (AI) and machine learning (...

0 Weiming Xiang, et al. ∙

∙ 04/12/2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

This paper presents the Neural Network Verification (NNV) software tool,...

0 Hoang-Dung Tran, et al. ∙

∙ 04/12/2020

Verification of Deep Convolutional Neural Networks Using ImageStars

Convolutional Neural Networks (CNN) have redefined the state-of-the-art ...

0 Hoang-Dung Tran, et al. ∙

∙ 09/19/2019

Real-Time Verification for Distributed Cyber-Physical Systems

Safety-critical distributed cyber-physical systems (CPSs) have been foun...

0 Hoang-Dung Tran, et al. ∙

∙ 12/14/2018

Specification-Guided Safety Verification for Feedforward Neural Networks

This paper presents a specification-guided safety verification method fo...

0 Weiming Xiang, et al. ∙

∙ 10/03/2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey

This survey presents an overview of verification techniques for autonomo...

0 Weiming Xiang, et al. ∙

∙ 06/24/2018

Cyber-Physical Specification Mismatches

Embedded systems use increasingly complex software and are evolving into...

0 Luan V. Nguyen, et al. ∙

∙ 04/09/2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations

Reachability analysis is a fundamental problem for safety verification a...

0 Hoang-Dung Tran, et al. ∙

∙ 04/04/2018

Numerical Verification of Affine Systems with up to a Billion Dimensions

Affine systems reachability is the basis of many verification methods. W...

0 Stanley Bak, et al. ∙

∙ 12/21/2017

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Neural networks have been widely used to solve complex real-world proble...

0 Weiming Xiang, et al. ∙

∙ 04/08/2014

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter

In this paper, we present the virtual prototyping of a solar array with ...

0 Luan Viet Nguyen, et al. ∙

∙ 09/10/2012

Safe and Stabilizing Distributed Multi-Path Cellular Flows

We study the problem of distributed traffic control in the partitioned p...

0 Taylor T. Johnson, et al. ∙