@article{bibcite_22,
  author = {Nicola Paoletti and Andrea Patan{\`e} and Marta Kwiatkowska},
  title = {Closed-loop quantitative verification of rate-adaptive pacemakers},
  abstract = {<p>Cardiac pacemakers are electrical devices that treat arrhythmias delivering electrical stimuli to the patient heart {\textbullet} Rate-adaptation: regulation of pacing rate according to patient{\textquoteright}s needs (e.g. increased pacing rate during exercise) {\textbullet} Programming of rate-adaptation parameters depends on many patient-specific factors (age, lifestyle, tolerance to rapid pacing, {\textellipsis}) {\textbullet} Effective personalisation achievable only through extensive exercise testing: intolerable for a cardiac patient {\textbullet} We introduce a data-driven and model-based approach for subjectspecific verification of rate-adaptive pacemakers</p>
},
  year = {2017},
  journal = {ACM Transactions on Cyber-Physical Systems, to appear},
  language = {eng},
}