Data-Driven Statistical Learning of Temporal Logic Properties

DOI10.1007/978-3-319-10512-3_3zbMath1448.68371OpenAlexW181236562MaRDI QIDQ5500551

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi

Publication date: 6 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10512-3_3

Mathematics Subject Classification ID

Applications of statistics to biology and medical sciences; meta analysis (62P10) Learning and adaptive systems in artificial intelligence (68T05) Realizations from input-output data (93B15) Temporal logic (03B44) Systems biology, networks (92C42)

Related Items (12)

Robust online monitoring of signal temporal logic ⋮ Quantitative monitoring of STL with edit distance ⋮ Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Repairing real-time requirements ⋮ Clairvoyant monitoring for signal temporal logic ⋮ TeLEx: learning signal temporal logic from positive examples using tightness metric ⋮ Adaptive testing for specification coverage and refinement in CPS models ⋮ Survey on mining signal temporal logic specifications ⋮ System design of stochastic models using robustness of temporal properties ⋮ Classification of driving behaviors using STL formulas: a comparative study ⋮ Smoothed model checking for uncertain continuous-time Markov chains

This page was built for publication: Data-Driven Statistical Learning of Temporal Logic Properties