Up a level |
Ferrando, Angelo ORCID: 0000-0002-8711-4670, Cardoso, Rafael C, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Papacchini, Fabio, Fisher, Michael and Mascardi, Viviana
(2021)
Bridging the gap between single- and multi-model predictive runtime verification.
FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3).
pp. 44-76.
Engelmann, Debora CC, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Panisson, Alison RR, Ancona, Davide, Bordini, Rafael HH and Mascardi, Viviana
(2023)
RV4JaCa-Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.
ROBOTICS, 12 (2).
p. 49.
Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dennis, LA ORCID: 0000-0003-1426-1896, Ancona, Davide, Fisher, Michael and Mascardi, Viviana
(2018)
Recognising Assumption Violations in Autonomous Systems Verification.
In: Autonomous Agents and Multi-agent Systems, Stockholm, Sweden.