Barrier Certificates for a Computational Model of Epileptic Seizures.

John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani

Browse the full SMC paper archive.