An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities.

Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Browse the full SEFM paper archive.