A Aralex Aachen research explorer

November 03, 2025 conference-paper

Bounded PCTL Model Checking of Large Language Model Outputs

Proceedings - International Conference on Tools with Artificial Intelligence, TAI

DOI: 10.1109/ictai66417.2025.00022 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 2

The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations
Explainable Large Language Models & iContracts
2024 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science Explainable Artificial Intelligence (XAI) Open access

2

citations

2 results