Signal Clustering Using Temporal Logics.

Giuseppe Bombara Calin Belta

Published in: RV (2017)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
clustering algorithm
concurrent systems
modal logic
satisfiability problem
k means
clustering method
belief revision
temporal knowledge
signal processing
frequency domain
predicate logic
reactive systems
verification method
computation tree logic