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.department | 751f05f5-8295-4055-aacb-a5c33283d92b | |
| cris.virtualsource.orcid | 751f05f5-8295-4055-aacb-a5c33283d92b | |
| dc.contributor.author | Yang, Yi | |
| dc.contributor.author | Holvoet, Tom | |
| dc.date.accessioned | 2026-06-04T08:46:20Z | |
| dc.date.available | 2026-06-04T08:46:20Z | |
| dc.date.createdwos | 2025-09-14 | |
| dc.date.issued | 2025 | |
| dc.description.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. | |
| dc.identifier.doi | 10.1007/978-3-031-70415-4_32 | |
| dc.identifier.isbn | 978-3-031-70414-7 | |
| dc.identifier.issn | 2945-9133 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/59549 | |
| dc.language.iso | eng | |
| dc.provenance.editstepuser | greet.vanhoof@imec.be | |
| dc.publisher | SPRINGER INTERNATIONAL PUBLISHING AG | |
| dc.source.beginpage | 350 | |
| dc.source.conference | Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection (PAAMS 2024) | |
| dc.source.conferencedate | 2024-06-26 | |
| dc.source.conferencelocation | Salamanca | |
| dc.source.endpage | 356 | |
| dc.source.journal | ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND DIGITAL TWINS: THE PAAMS COLLECTION, PAAMS 2024 | |
| dc.source.numberofpages | 7 | |
| dc.title | Developing a Safe Autonomous Logistic System with vGOAL | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| imec.internal.crawledAt | 2025-10-22 | |
| imec.internal.source | crawler | |
| Files | ||
| Publication available in collections: |