2 papers
cs.AI2025
A Workflow for Full Traceability of AI Decisions
Julius Wenzel, Syeda Umaima Alam, Andreas Schmidt +2
An ever increasing number of high-stake decisions are made or assisted by automated systems employing brittle artificial intelligence technology. There is a substantial risk that s…
cs.FL2024
Configuration Monitor Synthesis
Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
The observable behavior of a system usually carries useful information about its internal state, properties, and potential future behaviors. In this paper, we introduce configurati…