A data-driven approach to artificial pancreas verification and synthesis.

Taisa Kushner David M. Bortz David M. Maahs Sriram Sankaranarayanan

Published in: ICCPS (2018)

Keyphrases

data driven
program synthesis
model checking
verification method
computer vision
real world
concurrent systems
formal analysis
texture synthesis
multiscale
artificial intelligence
face verification
website
asynchronous circuits
machine learning
database
handwritten signature verification