@misc{indiciae319e0cd7d13e,
  title = {Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC},
  author = {Dennis Gross},
  year = {2026},
  url = {https://arxiv.org/abs/2602.14505},
  note = {Source identifier: 2602.14505}
}