TeLEx: learning signal temporal logic from positive examples using tightness metric

DOI10.1007/s10703-019-00332-1zbMath1425.68349OpenAlexW2912432686WikidataQ128544015 ScholiaQ128544015MaRDI QIDQ2008282

Natarajan Shankar, Susmit Jha, Tuhin Sahai, Sanjit A. Seshia, Ashish Kumar Tiwari

Publication date: 25 November 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/5sj2g464

zbMATH Keywords

autonomous systemspecification miningsignal temporal logiccyber-physical systeminterpretable machine learningtransparent machine learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

An automated system repair framework with signal temporal logic ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Learning specifications for labelled patterns ⋮ Adaptive testing for specification coverage and refinement in CPS models ⋮ Survey on mining signal temporal logic specifications

Uses Software

• S-TaLiRo
• Breach

Cites Work

• Differential evolution. A practical approach to global optimization. With CD-ROM.
• Learning deterministic even linear languages from positive examples
• Quantitative monitoring of STL with edit distance
• A theory of formal synthesis via inductive learning
• Robust control for signal temporal logic specifications using discrete average space robustness
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• Temporal logic inference for classification and prediction from data
• A Decision Tree Approach to Data Classification using Signal Temporal Logic
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• A theory of the learnable
• Algorithm 778: L-BFGS-B
• Inductive Logic Programming: Theory and methods
• On Optimal Control of Stochastic Linear Hybrid Systems
• A Truncated Newton Algorithm for Large Scale Box Constrained Optimization
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Data-Driven Statistical Learning of Temporal Logic Properties
• Language identification in the limit
• Quantifying conformance using the Skorokhod metric
• Learning regular languages from simple positive examples

This page was built for publication: TeLEx: learning signal temporal logic from positive examples using tightness metric