2 papers
cs.FL2026
A New Syntax and Semantics for Probabilistic Trace Expressions
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime Verification (RV) techniques are typically defined under the assumption of complete observability of system executions. In many realistic settings, however, monitors must o…
cs.AI2024
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
Andrea Gatti, Viviana Mascardi, Angelo Ferrando
Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure cha…