Deakstadieđáhus: Impartial Anticipation in Runtime-Verification.