Login / Signup
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities.
Kento Ogawa
Hiroyuki Nakagawa
Tatsuhiro Tsuchiya
Published in:
SEFM Workshops (2015)
Keyphrases
</>
experimental evaluation
transition probabilities
markov chain
keywords
state space