Learning linear temporal properties from noisy data: a MaxSAT-based approach

DOI10.1007/978-3-030-88885-5_6zbMath1497.68420arXiv2104.15083OpenAlexW3208221999MaRDI QIDQ2147181

Rajarshi Roy, Daniel Neider, Jean-Raphaël Gaglione, Ufuk Topcu, Zhe Xu

Publication date: 22 June 2022

Full work available at URL: https://arxiv.org/abs/2104.15083

zbMATH Keywords

linear temporal logicspecification miningexplainable AI

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (2)

Communicating safety of planned paths via optimally-simple explanations ⋮ Survey on mining signal temporal logic specifications

Uses Software

• z3

Cites Work

• Using temporal logics to express search control knowledge for planning
• Interval temporal logic decision tree learning
• A Decision Tree Approach to Data Classification using Signal Temporal Logic
• Temporal Logics for Learning and Detection of Anomalous Behavior

This page was built for publication: Learning linear temporal properties from noisy data: a MaxSAT-based approach