Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira. Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Annals of Mathematics and Artificial Intelligence, 62(3-4):161-186, 2011. [doi]
Abstract is missing.