Timed Relational Abstractions for Sampled Data Control Systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (CAV, 2012)

A trajectory splicing approach to concretizing counterexamples for hybrid systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; James Kapinski (CDC, 2013)

Multiple shooting, CEGAR-based falsification for hybrid systems. - Aditya Zutshi 001; Jyotirmoy V. Deshmukh; Sriram Sankaranarayanan 001; James Kapinski (EMSOFT, 2014)

Beyond single shooting: Iterative approaches to falsification. - Jyotirmoy V. Deshmukh; Georgios Fainekos; James Kapinski; Sriram Sankaranarayanan 001; Aditya Zutshi 001; Xiaoqing Jin (ACC, 2015)

Requirements driven falsification with coverage metrics. - Adel Dokhanchi; Aditya Zutshi 001; Rahul T. Sriniva; Sriram Sankaranarayanan 001; Georgios Fainekos (EMSOFT, 2015)

Falsification of safety properties for closed loop control systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; James Kapinski; Xiaoqing Jin (HSCC, 2015)

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; Xiaoqing Jin (HSCC, 2016)

Learning-based control design for deep brain stimulation. - Ilija Jovanov; Michael Naumann; Karthik Kumaravelu; Vuk Lesi; Aditya Zutshi 001; Warren M. Grill 001; Miroslav Pajic (ICCPS, 2018)

On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. - Franck Djeumou; Aditya Zutshi 001; Ufuk Topcu (HSCC, 2021)

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. - Xin Qin; Yuan Xian; Aditya Zutshi 001; Chuchu Fan; Jyotirmoy V. Deshmukh (ICCPS, 2022)

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. - Xin Qin; Yuan Xia; Aditya Zutshi 001; Chuchu Fan; Jyotirmoy V. Deshmukh (ACM Trans. Cyber Phys. Syst., 2024)