Runtime Verification of Traces under Recording Uncertainty.

Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee

Browse the full RV paper archive.