APA (7th ed.) Citation

Sakano, K., An, J., Manocha, D., & Xu, H. (2025). ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies.

Chicago Style (17th ed.) Citation

Sakano, Kristy, Jianyu An, Dinesh Manocha, and Huan Xu. ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies. 2025.

MLA (9th ed.) Citation

Sakano, Kristy, et al. ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies. 2025.