27 citations · 62 across the 14 of their papers we have counts for
7 papers · 1 filter
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy
Angelo Ferrando, Rafael Cardoso
The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artific…
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +2
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conferen…
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +3
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used…
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Matt Luckcuck, Rafael C. Cardoso
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent syste…
Adaptable and Verifiable BDI Reasoning
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang +1
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such chang…
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola +2
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 Artifi…
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agents Assemble, where two teams of agents move around a 2D grid and compete to assemble complex block structure…