APA (7th ed.) Citation

Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2024). Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version).

Chicago Style (17th ed.) Citation

Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. Sound Statistical Model Checking for Probabilities and Expected Rewards (extended Version). 2024.

MLA (9th ed.) Citation

Budde, Carlos E., et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (extended Version). 2024.