8000 GitHub - sybila/LTL-editor: Graphical editor for visual specification of LTL properties based on time series. · GitHub
[go: up one dir, main page]
Skip to content

About

Graphical editor for visual specification of LTL properties based on time series.

Resources

Readme
Activity
Custom properties

Stars

1 star

Watchers

0 watching

Forks

1 fork
Report repository
BranchesTags

Latest commit

 

History

49 Commits

Folders and files

NameName
Last commit message
Last commit date
examples
examples
 
 
src
src
 
 
README
README
 
 

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

About

Graphical editor for visual specification of LTL properties based on time series.

Resources

Readme
Activity
Custom properties

Stars

1 star

Watchers

0 watching

Forks

1 fork
Report repository

Releases

Packages

Contributors

Languages
0