Aditya Zutshi

Galois (United States) — United States

Computer Science · Physical Sciences

8h-index253citations21works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(11), Software Reliability and Analysis Research(8), Software Testing and Debugging Techniques(7), Fault Detection and Control Systems(3), Adversarial Robustness in Machine Learning(3)

Publications21 total

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification
ACM Transactions on Cyber-Physical Systems·2023· 10 citedOpen Access
Bridging the Gap: Applying Argument to MIL-HDBK-516C Certification of a Neural Network Controller Guarded by ASIF Run Time Assurance
2023· 1 cited
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
arXiv (Cornell University)·2023Open Access
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
AIAA SCITECH 2023 Forum·2023· 6 cited
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
arXiv (Cornell University)·2022Open Access
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
2022· 23 cited
On-the-fly, data-driven reachability analysis and control of unknown systems
2021· 5 cited
High Assurance Run-Time Monitoring Architecture for Autonomous Control
AIAA Scitech 2021 Forum·2021· 1 cited
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
arXiv (Cornell University)·2020· 4 citedOpen Access
Neptune Marina Ground Improvement Case Study
Geotechnical Earthquake Engineering and Soil Dynamics V·2018· 1 cited
Learning-Based Control Design for Deep Brain Stimulation
2018· 3 cited
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
2016· 14 citedOpen Access
Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques
CU Scholar (University of Colorado Boulder)·2016Open Access
Requirements driven falsification with coverage metrics
2015· 30 cited
Beyond single shooting: Iterative approaches to falsification
2015· 5 cited
Falsification of safety properties for closed loop control systems
2015· 15 cited
Multiple shooting, CEGAR-based falsification for hybrid systems
2014· 60 cited
A trajectory splicing approach to concretizing counterexamples for hybrid systems
2013· 41 cited
Timed Relational Abstractions for Sampled Data Control Systems
Lecture notes in computer science·2012· 27 cited
A study of virtual environments for enterprise collaboration
2009· 7 cited
page 1 of 2Next →

Frequent Co-authors

Sriram Sankaranarayanan(7), Jyotirmoy V. Deshmukh(6), James Kapinski(4), Kerianne L. Hobbs(4), Jonathan Rowanhill(4), Ashlie B. Hocking(4), Xin Qin(3), Yuan Xia(3), Chuchu Fan(3), Xiaoqing Jin(3), Georgios Fainekos(2), Jyotirmoy V. Deshmukh(2), Benjamin K. Heiner(2), Lillian Busse(2), Kyle Dunlap(2), Adel Dokhanchi(1), Rahul T. Sriniva(1), Ashish Tiwari(1), Geetika Sharma(1), Franck Djeumou(1)