Clairvoyant monitoring for signal temporal logic
scientific article; zbMATH DE number 7317097