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)

Cites Work

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

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)