research
∙
08/29/2022
Towards Adversarial Purification using Denoising AutoEncoders
With the rapid advancement and increased use of deep learning models in ...
share
research
∙
05/29/2022
Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems
Component-based design paradigm is of paramount importance due to prolif...
research
∙
02/08/2022
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks
Multi-Agent Path Finding (MAPF) is the problem of finding collision-free...
research
∙
11/28/2021
Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images
With the rapid advancement and increased use of deep learning models in ...
research
∙
05/03/2020
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
Reliability and fault tolerance are critical attributes of embedded cybe...
research
∙
10/20/2018
