Engelmann, D.C.; Ferrando, A.; Panisson, A.R.; Ancona, D.; Bordini, R.H.; Mascardi, V.
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 2023, 12, 49.
https://doi.org/10.3390/robotics12020049
AMA Style
Engelmann DC, Ferrando A, Panisson AR, Ancona D, Bordini RH, Mascardi V.
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics. 2023; 12(2):49.
https://doi.org/10.3390/robotics12020049
Chicago/Turabian Style
Engelmann, Debora C., Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, and Viviana Mascardi.
2023. "RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications" Robotics 12, no. 2: 49.
https://doi.org/10.3390/robotics12020049
APA Style
Engelmann, D. C., Ferrando, A., Panisson, A. R., Ancona, D., Bordini, R. H., & Mascardi, V.
(2023). RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics, 12(2), 49.
https://doi.org/10.3390/robotics12020049