Login / Signup

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description.

Ruixuan YanTengfei MaAchille FokoueMaria ChangAgung Julius
Published in: CoRR (2022)
Keyphrases
  • temporal logic
  • model checking
  • reactive systems
  • modal logic
  • dynamic constraints
  • search algorithm
  • satisfiability problem
  • data model
  • petri net
  • process model
  • belief revision