| 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 | 78 | 2014 |
| 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 | 47 | 2015 |
| 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 | 45 | 2013 |
| Timed relational abstractions for sampled data control systems A Zutshi, S Sankaranarayanan, A Tiwari Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 29 | 2012 |
| Statistical verification of cyber-physical systems using surrogate models and conformal inference X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 21 | 2022 |
| 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 | 21 | 2015 |
| 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 | 14 | 2020 |
| 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 | 14 | 2016 |
| Statistical verification of cyber-physical systems using surrogate models and conformal inference. In 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) X Qin, Y Xian, A Zutshi, C Fan, JV Deshmukh IEEE, 116ś126, 2022 | 9 | 2022 |
| A study of virtual environments for enterprise collaboration A Zutshi, G Sharma Proceedings of the 8th International Conference on Virtual Reality Continuum …, 2009 | 9 | 2009 |
| 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 | 8 | 2015 |
| Statistical verification using surrogate models and conformal inference and a comparison with risk-aware verification X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh ACM Transactions on Cyber-Physical Systems 8 (2), 1-25, 2024 | 6 | 2024 |
| Systems theoretic process analysis of a run time assured neural network control system KL Hobbs, B Heiner, L Busse, K Dunlap, J Rowanhill, AB Hocking, ... AIAA SciTech 2023 Forum, 2664, 2023 | 6 | 2023 |
| 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 | 6 | 2021 |
| 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 | 2 | 2018 |
| Bridging the Gap: Applying Argument to MIL-HDBK-516C Certification of a Neural Network Controller Guarded by ASIF Run Time Assurance J Rowanhill, KL Hobbs, A Zutshi, AB Hocking 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-9, 2023 | | 2023 |
| Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture J Rowanhill, AB Hocking, A Zutshi, KL Hobbs arXiv preprint arXiv:2303.15568, 2023 | | 2023 |
| 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 |
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaBestätigte E-Mail-Adresse bei usc.edu
