TY  - RPRT
TI  - GlucOS: Security, correctness, and simplicity for automated insulin delivery
AU  - Hari Venugopalan
AU  - Shreyas Madhav Ambattur Vijayanand
AU  - Caleb Stanford
AU  - Stephanie Crossen
AU  - Samuel T. King
PY  - 2025
UR  - https://arxiv.org/abs/2406.18262
ID  - 2406.18262
ER  -