3 papers
cs.AI2026
Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC
Dennis Gross
Safe and interpretable sequential decision-making is critical in healthcare, yet reinforcement learning (RL) policies for sepsis treatment optimization remain opaque and difficult…
quant-ph2026
Formal Verification of Noisy Quantum Reinforcement Learning Policies
Dennis Gross
Quantum reinforcement learning (QRL) aims to use quantum effects to create sequential decision-making policies that achieve tasks more effectively than their classical counterparts…
cs.AI2025
Turn-based Multi-Agent Reinforcement Learning Model Checking
Dennis Gross
In this paper, we propose a novel approach for verifying the compliance of turn-based multi-agent reinforcement learning (TMARL) agents with complex requirements in stochastic mult…