 | Up a level |
Number of items: 1.
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.