Aditya Zutshi

11 papers A* 1C 1Misc 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification.
ACM Trans. Cyber Phys. Syst.
Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
2022 — conf
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.
ICCPS
Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
2021 — conf
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study.
HSCC
Franck Djeumou, Aditya Zutshi, Ufuk Topcu
2018 — conf
Learning-based control design for deep brain stimulation.
ICCPS
Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic
2016 — conf
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
HSCC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
2015 C conf
Beyond single shooting: Iterative approaches to falsification.
ACC
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
2015 — conf
Falsification of safety properties for closed loop control systems.
HSCC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
2015 Misc conf
Requirements driven falsification with coverage metrics.
EMSOFT
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos
2014 Misc conf
Multiple shooting, CEGAR-based falsification for hybrid systems.
EMSOFT
Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski
2013 — conf
A trajectory splicing approach to concretizing counterexamples for hybrid systems.
CDC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
2012 A* conf
Timed Relational Abstractions for Sampled Data Control Systems.
CAV
Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari