APA (7th ed.) Citation

Watanabe, K., van der Vegt, M., Hasuo, I., Rot, J., & Junges, S. (2024). Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Chicago Style (17th ed.) Citation

Watanabe, Kazuki, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, and Sebastian Junges. Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. 2024.

MLA (9th ed.) Citation

Watanabe, Kazuki, et al. Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. 2024.