TeLEx: learning signal temporal logic from positive examples using tightness metric
type: Item
instance of: scholarly article
title: TeLEx: learning signal temporal logic from positive examples using tightness metric
zbMATH Open document ID: 1425.68349
author: Susmit Jha
author: Sanjit A. Seshia
author: Tuhin Sahai
author: Natarajan Shankar
author: Ashish Tiwari
published in: Formal Methods in System Design
publication date: 2019-11-25T00:00:00Z
full work available at URL: 5sj2g464
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7135840
zbMATH Keywords: signal temporal logic
zbMATH Keywords: specification mining
zbMATH Keywords: transparent machine learning
zbMATH Keywords: interpretable machine learning
zbMATH Keywords: cyber-physical system
zbMATH Keywords: autonomous system
describes a project that uses: S-TaLiRo
describes a project that uses: Breach
MaRDI profile type: Publication
OpenAlex ID: W2912432686
cites work: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
cites work: Data-Driven Statistical Learning of Temporal Logic Properties
cites work: Learning regular languages from simple positive examples
cites work: Quantifying conformance using the Skorokhod metric
cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals
cites work: A Truncated Newton Algorithm for Large Scale Box Constrained Optimization
cites work: Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
cites work: A Decision Tree Approach to Data Classification using Signal Temporal Logic
cites work: Language identification in the limit
cites work: Quantitative monitoring of STL with edit distance
cites work: On Optimal Control of Stochastic Linear Hybrid Systems
cites work: A theory of formal synthesis via inductive learning
cites work: Temporal logic inference for classification and prediction from data
cites work: Learning deterministic even linear languages from positive examples
cites work: Robust control for signal temporal logic specifications using discrete average space robustness
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
cites work: Inductive Logic Programming: Theory and methods
cites work: Differential evolution. A practical approach to global optimization. With CD-ROM.
cites work: A theory of the learnable
cites work: Algorithm 778: L-BFGS-B
Wikidata QID: Q128544015
DOI: 10.1007/S10703-019-00332-1
description: scientific article; zbMATH DE number 7135840