Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan

Browse the full RV paper archive.