Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Time Series LTL Annotator is a tool for visual specifation of temporal properties in LTL interpreted over time series. For additional information on theory and practise behind this program see http://is.muni.cz/th/324713/fi_b