Rich Time Series Classification Using Temporal Logic.

Chanyeol Yoo Calin Belta

Published in: Robotics: Science and Systems (2017)

Keyphrases

temporal logic
model checking
modal logic
linear temporal logic
concurrent systems
satisfiability problem
mazurkiewicz traces
finite state
verification method
temporally extended
reactive systems
transition systems
sampling methods
belief revision
dynamical systems
automata theoretic
search space