ICCPS 2018 : A Data-Driven Approach to Artificial Pancreas Verification and Synthesis

Reference

2018

detail
pdf

A Data-Driven Approach to Artificial Pancreas Verification and Synthesis

Taisa Kushner, David Bortz, David Maahs, and Sriram Sankaranarayanan

ICCPS 2018: International Conference on Cyber-Physical Systems

Abstract

BibTeX

@string{ICCPS = "International Conference on Cyber-Physical Systems (ICCPS)"}
@inproceedings{data-driven-models-iccps18,
  author = {Taisa Kushner and David Bortz and David Maahs and Sriram Sankaranarayanan},
  title = {A Data-Driven Approach to Artificial Pancreas Verification and Synthesis},
  booktitle = ICCPS,
  year = {2018},
}