Bounded PCTL Model Checking of Large Language Model Outputs
- Authors
- D. Gross, H. Spieker and A. Gotlieb
- Status
- Accepted
- Publication type
- Proceedings Refereed
- Year of publication
- 2025
- Journal
- 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025)
- Publisher
- -
- Citation key
- 18339