7 citations · 11 across the 6 of their papers we have counts for
Showing 2026Show 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…
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…