stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.
Gaia SaveriLaura NenziLuca BortolussiJan KretínskýPublished in: CoRR (2024)
Keyphrases
- temporal logic
- vector representation
- semantic description
- model checking
- fixed length
- document representation
- similarity measure
- similarity computation
- high level
- variable length
- semantic similarity
- verification method
- belief revision
- domain specific
- background knowledge
- semantic information
- information retrieval systems
- text mining
- high dimensional
- information retrieval
- linear temporal logic
- computation tree logic