Formal Modelling and Validation of Rate-Adaptive Pacemakers.

Marta Z. Kwiatkowska Harriet Lea-Banks Alexandru Mereacre Nicola Paoletti

Published in: ICHI (2014)

Keyphrases

formal model
genetic algorithm
artificial intelligence
data model
mobile robot
adaptive control
formal models
model validation