Login / Signup
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