-
1
Runtime verification in uncertain environment based on probabilistic model learning
Published 2022-09-01“…To construct incremental monitor, the monitored LTL property is translated into Deterministic Rabin Automaton (DRA). The final probabilistic monitor is obtained by generating the product of DTMC and DRA, and computing the probabilities for each state. …”
Get full text
Article