Interpretable seizure detection with signal temporal logic neural network.
Ruixuan YanA. Agung JuliusPublished in: Biomed. Signal Process. Control. (2022)
Keyphrases
- temporal logic
- neural network
- model checking
- modal logic
- epileptic seizures
- signal detection
- satisfiability problem
- concurrent systems
- artificial neural networks
- video recordings
- verification method
- finite state
- dynamic constraints
- linear temporal logic
- signal processing
- computation tree logic
- mazurkiewicz traces
- belief revision