Gross, D., Spieker, H. und Gotlieb, A. (2025) „Bounded PCTL Model Checking of Large Language Model Outputs“, in. doi:10.1109/ICTAI66417.2025.00022.
Chicago Manual of Style 17th edition (full note)Gross, Dennis, Helge Spieker, und Arnaud Gotlieb. „Bounded PCTL Model Checking of Large Language Model Outputs“. In . https://doi.org/10.1109/ICTAI66417.2025.00022.
American Psychological Association 7th editionGross, D., Spieker, H., & Gotlieb, A. (2025, November 3). Bounded PCTL Model Checking of Large Language Model Outputs. https://doi.org/10.1109/ICTAI66417.2025.00022
Modern Language Association 9th editionGross, D., H. Spieker, und A. Gotlieb. Bounded PCTL Model Checking of Large Language Model Outputs. 2025, https://doi.org/10.1109/ICTAI66417.2025.00022.
ISO-690 (author-date, Deutsch)GROSS, Dennis, Helge SPIEKER und Arnaud GOTLIEB, 2025. Bounded PCTL Model Checking of Large Language Model Outputs. In: . 3 November 2025