Barrier Certificates for a Computational Model of Epileptic Seizures. - John F. Ingham; Yujiang Wang 002; Paolo Zuliani; Sadegh Soudjani (SMC, 2023)