Verifiable autonomy: From theory to applications
Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …
Science 2 2 at the University of Manchester. The group has a long history of research into …
Resilience, reliability, and coordination in autonomous multi-agent systems
Multi-agent systems is an evolving discipline that encompasses many different branches of
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …
Analyzing Collaborative Navigational Maze Behavior in a Multiagent Systems Simulator
BK Morse, RA Flores - SoutheastCon 2023, 2023 - ieeexplore.ieee.org
We analyze the performance of five navigational approaches for agents searching a maze
for an exit. These approaches ranged from non-collaborative (agents with and without …
for an exit. These approaches ranged from non-collaborative (agents with and without …