Geng, Y., Zhou, Z., Zhang, Z., Pan, S., Tran, H., & Ruchkin, I. (2025). Deterministic World Models for Verification of Closed-loop Vision-based Systems.
Chicago Style (17th ed.) CitationGeng, Yuang, Zhuoyang Zhou, Zhongzheng Zhang, Siyuan Pan, Hoang-Dung Tran, and Ivan Ruchkin. Deterministic World Models for Verification of Closed-loop Vision-based Systems. 2025.
MLA (9th ed.) CitationGeng, Yuang, et al. Deterministic World Models for Verification of Closed-loop Vision-based Systems. 2025.
Warning: These citations may not always be 100% accurate.