280 citations · 388 across the 15 of their papers we have counts for
4 papers · 1 filter
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
Louise Dennis, Marie Farrell, Michael Fisher
In this short position paper we highlight our ongoing work on verifiable heterogeneous multi-agent systems and, in particular, the complex (and often non-functional) issues that im…
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…
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…
Agent Based Approaches to Engineering Autonomous Space Software
Louise A. Dennis, Michael Fisher, Nicholas Lincoln +2
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's S…