Գրեք սա: Impartial Anticipation in Runtime-Verification.