TeLEx: learning signal temporal logic from positive examples using tightness metric
From MaRDI portal
Publication:2008282
Recommendations
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- Data-driven statistical learning of temporal logic properties
- Temporal logic inference for classification and prediction from data
- Efficient parametric identification for STL
- Robust online monitoring of signal temporal logic
Cites work
- A Truncated Newton Algorithm for Large Scale Box Constrained Optimization
- A decision tree approach to data classification using signal temporal logic
- A theory of formal synthesis via inductive learning
- A theory of the learnable
- Algorithm 778: L-BFGS-B
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Data-driven statistical learning of temporal logic properties
- Differential evolution. A practical approach to global optimization. With CD-ROM.
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Inductive Logic Programming: Theory and methods
- Language identification in the limit
- Learning deterministic even linear languages from positive examples
- Learning regular languages from simple positive examples
- On optimal control of stochastic linear hybrid systems
- Quantifying conformance using the Skorokhod metric
- Quantitative monitoring of STL with edit distance
- Robust control for signal temporal logic specifications using discrete average space robustness
- Robust satisfaction of temporal logic over real-valued signals
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
- Temporal logic inference for classification and prediction from data
Cited in
(12)- A decision tree approach to data classification using signal temporal logic
- An automated system repair framework with signal temporal logic
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- Adaptive testing for specification coverage and refinement in CPS models
- A program logic to verify signal temporal logic specifications of hybrid systems
- Temporal logic inference for classification and prediction from data
- Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- Scalable anytime algorithms for learning fragments of linear temporal logic
- Data-driven statistical learning of temporal logic properties
- Survey on mining signal temporal logic specifications
- Learning specifications for labelled patterns
This page was built for publication: TeLEx: learning signal temporal logic from positive examples using tightness metric
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008282)
