Impartial Anticipation in Runtime-Verification.

Wei Dong, Martin Leucker, Christian Schallhart

Browse the full ATVA paper archive.