Follow
Xin Qin
Title
Cited by
Cited by
Year
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
332019
Automatic testing and falsification with dynamically constrained reinforcement learning
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
292019
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
252023
Clairvoyant monitoring for signal temporal logic
X Qin, JV Deshmukh
Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020
162020
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
142020
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
132022
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
122019
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
92020
Parameter searching and partition with probabilistic coverage guarantees
C Fan, X Qin, J Deshmukh
arXiv preprint arXiv:2004.00279, 2020
82020
Predictive monitoring for signal temporal logic with probabilistic guarantees
X Qin, JV Deshmukh
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
72019
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
62021
Automatic testing with reusable adversarial agents
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
52019
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
32024
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
32023
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
32021
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
22023
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
12019
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
Joint Probability Distribution of Prediction Errors of ARIMA
X Qin, JV Deshmukh
arXiv preprint arXiv:1811.04685, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20