APA (7th ed.) Citation

Cubuktepe, M., Jansen, N., Junges, S., Katoen, J., & Topcu, U. (2020). Scenario-Based Verification of Uncertain MDPs. Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 12078, 287. https://doi.org/10.1007/978-3-030-45190-5_16

Chicago Style (17th ed.) Citation

Cubuktepe, Murat, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu. "Scenario-Based Verification of Uncertain MDPs." Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30 12078 (2020): 287. https://doi.org/10.1007/978-3-030-45190-5_16.

MLA (9th ed.) Citation

Cubuktepe, Murat, et al. "Scenario-Based Verification of Uncertain MDPs." Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, vol. 12078, 2020, p. 287, https://doi.org/10.1007/978-3-030-45190-5_16.