General Anticipatory Runtime Verification. - Raik Hipler; Hannes Kallwies; Martin Leucker; César Sánchez 001 (CAV (2), 2024)