Runtime verification in uncertain environment based on probabilistic model learning

Runtime verification in uncertain environment based on probabilistic model learning

Runtime verification (RV) is a lightweight approach to detecting temporal errors of system at runtime. It confines the verification on observed trajectory which avoids state explosion problem. To predict the future violation, some work proposed the predictive RV which uses the information from model...

Full description

Bibliographic Details
Main Authors: Ge Zhou, Chunzheng Yang, Peng Lu, Xi Chen
Format: Article
Language:English
Published: AIMS Press 2022-09-01
Series:Mathematical Biosciences and Engineering
Subjects:
runtime verification
probabilistic monitor
markov chain
ω-automata
Online Access:https://www.aimspress.com/article/doi/10.3934/mbe.2022635?viewType=HTML

Internet

https://www.aimspress.com/article/doi/10.3934/mbe.2022635?viewType=HTML

Similar Items