ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND DIGITAL TWINS: THE PAAMS COLLECTION, PAAMS 2024
Abstract
In this demo, we present how to develop a safe autonomous decision-making component using vGOAL. We use a real-world autonomous logistic system involving three autonomous mobile robots as a case study. We demonstrate (1) vGOAL is used to specify autonomous decision-making; (2) the automated PCTL model-checking process of vGOAL is used to generate a sound vGOAL specification; (3) the vGOAL interpreter is used as a safe autonomous decision-making component.
