C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.
Fraser Cameron
Georgios Fainekos
David M. Maahs
Sriram Sankaranarayanan
Published in:
RV (2015)
Keyphrases
</>
real world
lessons learned
key issues
practical solutions
technical challenges
databases
information technology
computational issues
benchmark problems
learning algorithm
database systems
case study
social networks
genetic algorithm
efficient solutions
similar problems
machine learning
neural network