Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane. Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. In Alessandro Abate, David Safránek, editors, Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Volume 9271 of Lecture Notes in Computer Science, pages 119-140, Springer, 2015. [doi]
Abstract is missing.