Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè
Book Title
Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015)
Pages
1–22
Publisher
Springer
Series
LNCS/LNBI
Volume
9271
Year
2015