Runtime verification of LTL on lossy traces.

Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister

Browse the full SAC paper archive.