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 | 34 | 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 | 32 | 2019 |
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 | 26 | 2023 |
Clairvoyant monitoring for signal temporal logic X Qin, JV Deshmukh Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020 | 17 | 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 | 14 | 2022 |
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 | 14 | 2020 |
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 | 12 | 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 |
Parameter searching and partition with probabilistic coverage guarantees C Fan, X Qin, J Deshmukh arXiv preprint arXiv:2004.00279, 2020 | 8 | 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 |
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 | 6 | 2023 |
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 | 6 | 2021 |
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 | 5 | 2022 |
Automatic testing with reusable adversarial agents X Qin, N Aréchiga, A Best, J Deshmukh arXiv preprint arXiv:1910.13645, 2019 | 5 | 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 | 4 | 2023 |
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 |
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, 2024 | 3 | 2024 |
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 |
Conformance testing for stochastic cyber-physical systems X Qin, N Hashemi, L Lindemann, JV Deshmukh CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 294, 2023 | | 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 | | 2023 |