Deriving kripke structures from time series segmentation results

Satish Tadepalli, Naren Ramakrishnan, Bud Mishra, Layne T. Watson, Richard F. Helm

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Deriving kripke structures from time series segmentation results'. Together they form a unique fingerprint.

Engineering & Materials Science