Author

V. Mascardi

h-index 27 View on Semantic Scholar

We have 1 of 191 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

A New Syntax and Semantics for Probabilistic Trace Expressions

How PTEs enable belief-based monitoring under uncertainty, illustrate their use in one representative Mars Rover scenario, and reflect on the conceptual implications for runtime verification in partially observable environments are discussed.

Davide Ancona, Angelo Ferrando, V. Mascardi · 0 citations