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.

Adaptable and Verifiable BDI Reasoning

no code implementations • 23 Jul 2020 • Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis

Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected.

Position

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