A kernel function for Signal Temporal Logic formulae.
Luca BortolussiGiuseppe Maria GalloLaura NenziPublished in: OVERLAY (2020)
Keyphrases
- heuristic search
- temporal logic
- kernel function
- model checking
- support vector
- kernel methods
- modal logic
- support vector machine
- input space
- feature space
- kernel matrix
- high dimensional feature space
- high dimensional
- support vector regression
- polynomial kernels
- positive definite
- kernel learning
- feature set
- linear temporal logic
- mazurkiewicz traces
- gaussian kernels
- kernel parameters
- non stationary
- machine learning
- transition systems
- reproducing kernel hilbert space
- verification method
- computation tree logic
- bounded model checking
- training set
- kernel trick
- dimensionality reduction
- reactive systems
- decision trees
- kernel matrices
- dynamic constraints
- temporal knowledge
- special case
- formal specification language
- data sets