Yang, YiYiYangHolvoet, TomTomHolvoet2026-06-042026-06-042025978-3-031-70414-72945-9133https://imec-publications.be/handle/20.500.12860/59549In 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.engProceedings paper10.1007/978-3-031-70415-4_32WOS:001551103900032