TeLEx: learning signal temporal logic from positive examples using tightness metric
scientific article; zbMATH DE number 7135840
scientific article