Barrier Certificates for a Computational Model of Epileptic Seizures | IEEE Conference Publication | IEEE Xplore