1 citations · 2 across the 17 of their papers we have counts for
Showing 2026 · cs.AIShow all
3 papers · 2 filters
cs.AI2026
Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle
Dennis Gross, Helge Spieker
Large language models (LLMs) are used as post hoc explainers of sequential decision-making policies, producing natural-language explanations of why an action was chosen. However, L…
cs.AI2026
COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance
Dennis Gross
Aging bridge networks require proactive, verifiable, and interpretable maintenance strategies, yet reinforcement learning (RL) policies trained solely on reward signals provide no…
cs.AI2026
COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management
Dennis Gross
Platelets expire within five days. Blood banks face uncertain daily demand and must balance ordering decisions between costly wastage from overstocking and life-threatening shortag…