12 citations · 22 across the 10 of their papers we have counts for
10 papers
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…
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents
Andrea Gatti, Viviana Mascardi
Automating a factory where robots are involved is neither trivial nor cheap. Engineering the factory automation process in such a way that return of interest is maximized and risk…
RV4JaCa -- Runtime Verification for Multi-Agent Systems
Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson +3
This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This la…
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean
Viviana Mascardi, Domenico Pellegrini
On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our…
Can determinism and compositionality coexist in RML?
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…
Can determinism and compositionality coexist in RML? (extended version)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…