Follow
Neelanjana Pal
Title
Cited by
Cited by
Year
Robustness verification of semantic segmentation neural networks using relaxed reachability
HD Tran, N Pal, P Musau, DM Lopez, N Hamilton, X Yang, S Bak, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
412021
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
HD Tran, N Pal, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ...
Formal Aspects of Computing 33, 519-545, 2021
142021
DeepECO: applying deep learning for occupancy detection from energy consumption data
N Pal, P Ghosh, G Karsai
2019 18th IEEE International Conference On Machine Learning And Applications …, 2019
72019
Benchmark: formal verification of semantic segmentation neural networks
N Pal, S Lee, TT Johnson
International Conference on Bridging the Gap between AI and Reality, 311-330, 2023
22023
Robustness verification of deep neural networks using star-based reachability analysis with variable-length time series input
N Pal, DM Lopez, TT Johnson
International Conference on Formal Methods for Industrial Critical Systems …, 2023
22023
Formal verification of long short-term memory based audio classifiers: A star based approach
N Pal, TT Johnson
arXiv preprint arXiv:2311.12130, 2023
12023
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
N Pal, TT Johnson
arXiv preprint arXiv:2207.06759, 2022
12022
Reachability-Based Robustness Verification of Deep Neural Networks with Emphasis on Safety-Critical Time-Series Applications
N Pal
2024
The system can't perform the operation now. Try again later.
Articles 1–8