no code implementations • 16 Nov 2023 • Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
Multi-valued logics have a long tradition in the literature on system verification, including run-time verification.
1 code implementation • 20 Jul 2022 • Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework.
no code implementations • 25 Oct 2021 • Angelo Ferrando, Rafael C. Cardoso
The expected behaviour is usually formally specified by means of properties, which are used to automatically synthesise monitors.
no code implementations • 22 Jul 2020 • Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020).
Multiagent Systems Robotics Software Engineering
no code implementations • 22 Aug 2019 • Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
The battery is a key component of autonomous robots.