| Conformal prediction for stl runtime verification L Lindemann, X Qin, JV Deshmukh, GJ Pappas Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 36 | 2023 |
| Specifying and evaluating quality metrics for vision-based perception systems A Balakrishnan, AG Puranic, X Qin, A Dokhanchi, JV Deshmukh, HB Amor, ... 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 36 | 2019 |
| Automatic testing and falsification with dynamically constrained reinforcement learning X Qin, N Aréchiga, A Best, J Deshmukh arXiv preprint arXiv:1910.13645, 2019 | 33 | 2019 |
| Clairvoyant monitoring for signal temporal logic X Qin, JV Deshmukh Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020 | 21 | 2020 |
| 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 | 20 | 2022 |
| 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 |
| Mining shape expressions from positive examples E Bartocci, J Deshmukh, F Gigler, C Mateis, D Ničković, X Qin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 13 | 2020 |
| Shape expressions for specifying and extracting signal features D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 12 | 2019 |
| Data-driven reachability analysis of stochastic dynamical systems with conformal inference N Hashemi, X Qin, L Lindemann, JV Deshmukh 2023 62nd IEEE Conference on Decision and Control (CDC), 3102-3109, 2023 | 11 | 2023 |
| 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 |
| Risk-awareness in learning neural controllers for temporal logic objectives N Hashemi, X Qin, JV Deshmukh, G Fainekos, B Hoxha, D Prokhorov, ... 2023 American Control Conference (ACC), 4096-4103, 2023 | 8 | 2023 |
| Parameter searching and partition with probabilistic coverage guarantees C Fan, X Qin, J Deshmukh arXiv preprint arXiv:2004.00279, 2020 | 7 | 2020 |
| Predictive monitoring for signal temporal logic with probabilistic guarantees X Qin, JV Deshmukh Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 7 | 2019 |
| 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 | 5 | 2024 |
| Specifying and detecting temporal patterns with shape expressions D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh International Journal on Software Tools for Technology Transfer 23 (4), 565-577, 2021 | 5 | 2021 |
| Automatic testing with reusable adversarial agents X Qin, N Aréchiga, A Best, J Deshmukh arXiv preprint arXiv:1910.13645, 2019 | 5 | 2019 |
| Mining Shape Expressions with ShapeIt E Bartocci, J Deshmukh, C Mateis, E Nesterini, D Ničković, X Qin International Conference on Software Engineering and Formal Methods, 110-117, 2021 | 4 | 2021 |
| Conformance Testing for Stochastic Cyber-Physical Systems. X Qin, N Hashemi, L Lindemann, JV Deshmukh FMCAD, 294-305, 2023 | 3 | 2023 |
| Robust Testing for Cyber-Physical Systems using Reinforcement Learning X Qin, N Aréchiga, J Deshmukh, A Best Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | 3 | 2023 |
| Preview of predictive monitoring for signal temporal logic with probabilistic guarantees X Qin, JV Deshmukh Proceedings of the Fifth International Workshop on Symbolic-Numeric methods …, 2019 | 1 | 2019 |
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaEmail verificata su usc.edu
