3vLTL: A Tool to Generate Automata for Three-valued LTL

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.

RV4JaCa -- Runtime Verification for Multi-Agent Systems

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.

Decision Making

Towards Partial Monitoring: It is Always too Soon to Give Up

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.

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

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

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

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.

Management