Modeling and Verification of a Dual Chamber Implantable Pacemaker.

Zhihao Jiang Miroslav Pajic Salar Moarref Rajeev Alur Rahul Mangharam

Published in: TACAS (2012)

Keyphrases

wide range
data sets
neural network
machine learning
information retrieval
artificial intelligence
search engine
knowledge base
website
feature extraction
convergence rate
primal dual
modeling framework