A High-Level LTL Synthesis Format: TLSF v1.1.
Swen JacobsFelix KleinSebastian SchirmerPublished in: SYNT@CAV (2016)
Keyphrases
- high level
- low level
- temporal logic
- model checking
- bounded model checking
- linear temporal logic
- higher level
- multimedia
- deterministic automata
- lower level
- low level features
- metadata
- programming language
- search algorithm
- multiscale
- mid level
- program synthesis
- image retrieval
- semantic information
- video sequences
- decision trees
- object level
- file formats
- xml format
- computer vision
- databases
- database