Runtime verification in uncertain environment based on probabilistic model learning.

Zhou G, Yang C, Lu P, Chen X

Open source

DOI
10.3934/mbe.2022635
Published
2022 Sep 16
Container
Mathematical biosciences and engineering : MBE
Publisher
Not recorded
Open access
unknown

Credibility signals

limited evidence Score 43/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.3934/mbe.2022635,
  title = {Runtime verification in uncertain environment based on probabilistic model learning.},
  author = {Zhou G and Yang C and Lu P and Chen X},
  year = {2022},
  journal = {Mathematical biosciences and engineering : MBE},
  doi = {10.3934/mbe.2022635},
  url = {https://doi.org/10.3934/mbe.2022635}
}

RIS

TY  - JOUR
TI  - Runtime verification in uncertain environment based on probabilistic model learning.
AU  - Zhou G
AU  - Yang C
AU  - Lu P
AU  - Chen X
PY  - 2022
JO  - Mathematical biosciences and engineering : MBE
DO  - 10.3934/mbe.2022635
UR  - https://doi.org/10.3934/mbe.2022635
ER  - 

APA

G, Z., C, Y., P, L., & X, C. (2022). Runtime verification in uncertain environment based on probabilistic model learning.. Mathematical biosciences and engineering : MBE. https://doi.org/10.3934/mbe.2022635

Source records