Publication:

Developing a Safe Autonomous Logistic System with <i>vGOAL</i>

 
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.orcid#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.department751f05f5-8295-4055-aacb-a5c33283d92b
cris.virtualsource.orcid751f05f5-8295-4055-aacb-a5c33283d92b
dc.contributor.authorYang, Yi
dc.contributor.authorHolvoet, Tom
dc.date.accessioned2026-06-04T08:46:20Z
dc.date.available2026-06-04T08:46:20Z
dc.date.createdwos2025-09-14
dc.date.issued2025
dc.description.abstractIn 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.
dc.identifier.doi10.1007/978-3-031-70415-4_32
dc.identifier.isbn978-3-031-70414-7
dc.identifier.issn2945-9133
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/59549
dc.language.isoeng
dc.provenance.editstepusergreet.vanhoof@imec.be
dc.publisherSPRINGER INTERNATIONAL PUBLISHING AG
dc.source.beginpage350
dc.source.conferenceAdvances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection (PAAMS 2024)
dc.source.conferencedate2024-06-26
dc.source.conferencelocationSalamanca
dc.source.endpage356
dc.source.journalADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND DIGITAL TWINS: THE PAAMS COLLECTION, PAAMS 2024
dc.source.numberofpages7
dc.title

Developing a Safe Autonomous Logistic System with vGOAL

dc.typeProceedings paper
dspace.entity.typePublication
imec.internal.crawledAt2025-10-22
imec.internal.sourcecrawler
Files
Publication available in collections: