Publication:

Enhancing Confidence of the <i>vGOAL</i> Interpreter Using SAT Solving

Date

2025
Proceedings Paper
https://doi.org/10.1007/978-3-031-71152-7_10
Simple item page Full metadata Statistics
 
dc.contributor.authorYang, Yi
dc.contributor.authorHolvoet, Tom
dc.date.accessioned2025-03-09T19:31:44Z
dc.date.available2025-03-09T19:31:44Z
dc.date.issued2025
dc.description.wosFundingTextThis research is partially funded by the Research Fund KU Leuven.
dc.identifier.doi10.1007/978-3-031-71152-7_10
dc.identifier.eisbn978-3-031-71152-7
dc.identifier.isbn978-3-031-71151-0
dc.identifier.issn2945-9133
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/45361
dc.publisherSPRINGER INTERNATIONAL PUBLISHING AG
dc.source.beginpage156
dc.source.conference12th International Workshop on Engineering Multi-Agent Systems
dc.source.conferencedateMAY 06-07, 2024
dc.source.conferencelocationAuckland
dc.source.endpage174
dc.source.numberofpages19
dc.source.volume15152
dc.title

Enhancing Confidence of the vGOAL Interpreter Using SAT Solving

dc.typeProceedings paper
dspace.entity.typePublication
Files
Publication available in collections:
Conference contributions