Document is current
Any future updates will be listed below
-
Authors
Mertens, Hannah
Katoen, Joost-Pieter
Quatmann, Tim
Winkler, Tobias
-
Funding
Funding for this research was provided by:
Ministerium für Kultur und Wissenschaft des Landes Nordrhein-Westfalen (KI-Starter Project "Verifying AI Systems under Partial Observability")
Deutsche Forschungsgemeinschaft (RTG 2236 "UnRAVeL")
RWTH Aachen University
- License Information
-
More Information
Article History
Received: 13 October 2024
Accepted: 16 July 2025
First Online: 19 August 2025
Declarations
:
: The authors declare no competing interests.
