Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Tran, Hoang-Dung, Pal, Neelanjana, Lopez, Diego Manzanas, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.
Published in Formal aspects of computing (01.08.2021)
Published in Formal aspects of computing (01.08.2021)
Get full text
Journal Article
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy
Tran, Hoang-Dung, Lopez, Diego Manzanas, Johnson, Taylor T.
Published in 2023 International Conference on Embedded Software (EMSOFT) (17.09.2023)
Published in 2023 International Conference on Embedded Software (EMSOFT) (17.09.2023)
Get full text
Conference Proceeding
Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV
Johnson, Taylor T., Lopez, Diego Manzanas, Tran, Hoang-Dung
Published in 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (24.06.2024)
Published in 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (24.06.2024)
Get full text
Conference Proceeding
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers
Musau, Patrick, Hamilton, Nathaniel, Lopez, Diego Manzanas, Robinette, Preston, Johnson, Taylor T.
Published in 2022 IEEE International Conference on Assured Autonomy (ICAA) (01.03.2022)
Published in 2022 IEEE International Conference on Assured Autonomy (ICAA) (01.03.2022)
Get full text
Conference Proceeding
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Robinette, Preston K., Lopez, Diego Manzanas, Serbinowska, Serena, Leach, Kevin, Johnson, Taylor T.
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)
Conference Proceeding
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Robinette, Preston K, Lopez, Diego Manzanas, Serbinowska, Serena, Leach, Kevin, Johnson, Taylor T
Year of Publication 08.04.2024
Year of Publication 08.04.2024
Get full text
Journal Article
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Lopez, Diego Manzanas, Musau, Patrick, Hamilton, Nathaniel, Johnson, Taylor T
Year of Publication 13.07.2022
Year of Publication 13.07.2022
Get full text
Journal Article
Online Reachability Analysis and Space Convexification for Autonomous Racing
Bogomolov, Sergiy, Johnson, Taylor T, Lopez, Diego Manzanas, Musau, Patrick, Stankaitis, Paulius
Published in arXiv.org (16.11.2023)
Published in arXiv.org (16.11.2023)
Get full text
Paper
Journal Article
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Musau, Patrick, Hamilton, Nathaniel, Lopez, Diego Manzanas, Robinette, Preston, Johnson, Taylor T
Year of Publication 03.05.2022
Year of Publication 03.05.2022
Get full text
Journal Article
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Xiang, Weiming, Lopez, Diego Manzanas, Musau, Patrick, Johnson, Taylor T
Year of Publication 10.02.2018
Year of Publication 10.02.2018
Get full text
Journal Article
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Tran, Hoang-Dung, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T
Year of Publication 11.04.2020
Year of Publication 11.04.2020
Get full text
Journal Article
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Lopez, Diego Manzanas, Musau, Patrick, Hamilton, Nathaniel, Tran, Hoang-Dung, Jonhson, Taylor T.
Published in 2020 IEEE Security and Privacy Workshops (SPW) (01.05.2020)
Published in 2020 IEEE Security and Privacy Workshops (SPW) (01.05.2020)
Get full text
Conference Proceeding