A kernel function for Signal Temporal Logic formulae.
Luca BortolussiGiuseppe Maria GalloLaura NenziPublished in: CoRR (2020)
Keyphrases
- temporal logic
- kernel function
- model checking
- kernel methods
- support vector
- modal logic
- feature space
- support vector machine
- input space
- verification method
- support vector regression
- high dimensional feature space
- positive definite
- kernel matrix
- polynomial kernels
- belief revision
- non stationary
- reproducing kernel hilbert space
- kernel learning
- kernel parameters
- high dimensional
- linear temporal logic
- feature set
- temporal knowledge
- computation tree logic
- mazurkiewicz traces
- transition systems
- formal specification language
- kernel machines
- dimensionality reduction
- dynamic constraints