1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input
Neelanjana Pal, Diego Manzanas Lopez, Taylor T Johnson
Data-driven, neural network (NN) based anomaly detection and predictive maintenance are emerging research areas. NN-based analytics of time-series data offer valuable insights into…
cs.LG2022★ 1 cited
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Neelanjana Pal, Taylor T Johnson
This work in progress paper introduces robustness verification for autoencoder-based regression neural network (NN) models, following state-of-the-art approaches for robustness ver…