APA (7th ed.) Citation

Ji, X., Wang, H., Filieri, A., & Epifani, I. (2025). Robust Probabilistic Model Checking with Continuous Reward Domains.

Chicago Style (17th ed.) Citation

Ji, Xiaotong, Hanchun Wang, Antonio Filieri, and Ilenia Epifani. Robust Probabilistic Model Checking with Continuous Reward Domains. 2025.

MLA (9th ed.) Citation

Ji, Xiaotong, et al. Robust Probabilistic Model Checking with Continuous Reward Domains. 2025.