Bounded PCTL Model Checking of Large Language Model Outputs
Dennis Gross; Helge Spieker; Arnaud Gotlieb
- Published
- Publisher
- IEEE
- Journal / collection
- 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI)
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.1109/ictai66417.2025.00022
The original publisher provides the full text and its access options.
Cite this source
Dennis Gross; Helge Spieker; Arnaud Gotlieb. Bounded PCTL Model Checking of Large Language Model Outputs. 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). 2025-11-03. https://doi.org/10.1109/ictai66417.2025.00022