General Anticipatory Monitoring for Temporal Logics on Finite Traces | Publicación