Cita APA (7a ed.)

Geng, Y., Waite, T., Turnquist, T., Ivanov, R., & Ruchkin, I. (2025). Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction.

Cita Chicago Style (17a ed.)

Geng, Yuang, Thomas Waite, Trevor Turnquist, Radoslav Ivanov, y Ivan Ruchkin. Statistical-Symbolic Verification of Perception-Based Autonomous Systems Using State-Dependent Conformal Prediction. 2025.

Cita MLA (9a ed.)

Geng, Yuang, et al. Statistical-Symbolic Verification of Perception-Based Autonomous Systems Using State-Dependent Conformal Prediction. 2025.