7 citations · 10 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
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…