STONE: Signal Temporal Logic Neural Network for Time Series Classification.
Ruixuan YanAgung JuliusMaria ChangAchille FokoueTengfei MaRosario Uceda-SosaPublished in: ICDM (Workshops) (2021)
Keyphrases
- temporal logic
- neural network
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- artificial neural networks
- verification method
- belief revision
- transition systems
- mazurkiewicz traces
- computation tree logic
- temporally extended
- model checker
- reinforcement learning
- knowledge representation
- temporal knowledge
- formal verification
- information flow
- linear temporal logic
- bounded model checking
- linear time temporal logic
- software engineering