( en | de | ru )

 

Disambiguation of "Pal, Neelanjana"

Author of the publication

copydeleteadd this publication to your clipboard
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

, , , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 263-286. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Pal

Andrea Pál

Pal Dragos

Aprameyo Pal

István Pál

 

Other publications of authors with the same name

CMOS impedance spectroscopy sensor array with synchronous voltage-to-frequency converters., , and . MWSCAS, page 1-4. IEEE, (2015)Benchmark: Formal Verification of Semantic Segmentation Neural Networks., , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 311-330. Springer, (2023)Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability., , , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 263-286. Springer, (2021)Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach., and . FMAS@iFM, volume 395 of EPTCS, page 162-179. (2023)Placement-Based Nonlinearity Reduction Technique for Differential Current-Steering DAC., , , and . IEEE Trans. Very Large Scale Integr. Syst., 24 (1): 233-242 (2016)Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool., and . SNR, volume 361 of EPTCS, page 79-88. (2021)DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data., , and . ICMLA, page 1938-1943. IEEE, (2019)Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input., , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 170-188. Springer, (2023)Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter., , , , , , , , and . Formal Aspects Comput., 33 (4-5): 519-545 (2021)