Learning model checking and the kernel trick for signal temporal logic on stochastic processes

DOI10.1007/978-3-030-99524-9_15zbMATH Open1547.68414MaRDI QIDQ6535569FDOQ6535569

Authors Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi 

Publication date 23 January 2024

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Robust online monitoring of signal temporal logic
• STL model checking of continuous and hybrid systems
• Parameter invariant monitoring for signal temporal logic
• Efficient parametric identification for STL

Cites Work

• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 1448982 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A decision tree approach to data classification using signal temporal logic
• An introduction to support vector machines and other kernel-based learning methods.
• Applied functional analysis. Functional analysis, Sobolev spaces and elliptic differential equations
• Computing probabilistic bisimilarity distances for probabilistic automata
• Data-driven statistical learning of temporal logic properties
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Foundations of machine learning
• Gaussian processes for machine learning.
• Handbook of model checking
• Linear distances between Markov chains
• Machine learning. A probabilistic perspective
• Semantic labelling and learning for parity game solving in LTL synthesis
• System design of stochastic models using robustness of temporal properties

Cited In (1)

• Decoupled fitness criteria for reactive systems

This page was built for publication: Learning model checking and the kernel trick for signal temporal logic on stochastic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535569)