Follow
Aditya Zutshi
Aditya Zutshi
Galois Inc.
Verified email at colorado.edu
Title
Cited by
Cited by
Year
Multiple shooting, cegar-based falsification for hybrid systems
A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
632014
A trajectory splicing approach to concretizing counterexamples for hybrid systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski
52nd IEEE Conference on Decision and Control, 3918-3925, 2013
422013
Requirements driven falsification with coverage metrics
A Dokhanchi, A Zutshi, RT Sriniva, S Sankaranarayanan, G Fainekos
2015 International Conference on Embedded Software (EMSOFT), 31-40, 2015
332015
Timed relational abstractions for sampled data control systems
A Zutshi, S Sankaranarayanan, A Tiwari
International Conference on Computer Aided Verification, 343-361, 2012
252012
Falsification of safety properties for closed loop control systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski, X Jin
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
182015
Symbolic-numeric reachability analysis of closed-loop control software
A Zutshi, S Sankaranarayanan, JV Deshmukh, X Jin
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
132016
A study of virtual environments for enterprise collaboration
A Zutshi, G Sharma
Proceedings of the 8th International Conference on Virtual Reality Continuum …, 2009
92009
Beyond single shooting: Iterative approaches to falsification
J Deshmukh, G Fainekos, J Kapinski, S Sankaranarayanan, A Zutshi, ...
2015 American Control Conference (ACC), 4098-4098, 2015
62015
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study
F Djeumou, A Zutshi, U Topcu
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
22021
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
C Fan, X Qin, Y Xia, A Zutshi, J Deshmukh
arXiv preprint arXiv:2004.00279, 2020
12020
Learning-based control design for deep brain stimulation
I Jovanov, M Nauman, K Kumaravelu, V Lesi, A Zutshi, WM Grill, M Pajic
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
12018
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
X Qin, Y Xian, A Zutshi, C Fan, JV Deshmukh
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
2022
High Assurance Run-Time Monitoring Architecture for Autonomous Control
Y Chou, A Zutshi, M Clark
AIAA Scitech 2021 Forum, 0790, 2021
2021
Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques
A Zutshi
2016
On-the-fly, data-driven reachability analysis and control of unknown systems
F Djeumou, A Zutshi, U Topcu
The system can't perform the operation now. Try again later.
Articles 1–15