research
∙
07/19/2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the Second Workshop on Agents an...
share
research
∙
10/15/2021
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
In this paper, we describe the strategies used by our team, MLFC, that l...
research
∙
07/02/2020
Analysing Spatial Properties on Neighbourhood Spaces
We present a bisimulation relation for neighbourhood spaces, a generalis...
research
∙
06/04/2020
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agen...
research
∙
08/22/2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots. Its performance lim...
research
∙
04/15/2019
Model Comparison Games for Horn Description Logics
Horn description logics are syntactically defined fragments of standard ...
research
∙
04/18/2018