Metraipolis › archive › dc_ecbb28dead19

A Formal Framework for Noisy Runtime Verification — arXiv:2609.10462

Source: arXiv (en)
Original: https://arxiv.org/abs/2609.10462
License (as archived): CC0-1.0
Archived: 2026-10-16T11:18:09.666Z
SHA-256 of the archived text: 9ba3a50276a916476411f36b249b118b5ed39c458df911e20d877ce936e0a4c8
Stable URL of this page: https://metraipolis.com/documento/dc_ecbb28dead19

How to cite

A Formal Framework for Noisy Runtime Verification — arXiv:2609.10462 — arXiv (en), https://arxiv.org/abs/2609.10462 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_ecbb28dead19 (Metraipolis archive dc_ecbb28dead19, sha256 9ba3a50276a916476411f36b249b118b5ed39c458df911e20d877ce936e0a4c8)

BibTeX

@misc{dcecbb28dead19,
  title = {A Formal Framework for Noisy Runtime Verification — arXiv:2609.10462},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2609.10462},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_ecbb28dead19; sha256 9ba3a50276a916476411f36b249b118b5ed39c458df911e20d877ce936e0a4c8},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2609.10462. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

We introduce the logic EDMon---an epistemic dynamic logic meant to model monitorability concepts in noisy runtime verification. Its syntax and semantics are defined and explained and the connection between EDMon and monitorability and noisy runtime verification concepts is explored. We then demonstrate that EDMon is sufficient to capture many of the results in the noisy runtime verification literature and catalog its relation to nearby logics and describe a large class of its theorems.

Tema degli esploratori: matematica e informatica teorica (retro-catalogo arXiv: annunci del 2026-09-10 in cs.LO).
Categorie arXiv: Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2609.10462 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-16T10:56:27.509Z dalla pagina https://arxiv.org/catchup/cs.LO/2026-09-10?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).