Generating Safe Autonomous Decision-Making in ROS. - Yi Yang 034; Tom Holvoet (FMAS/ASYDE@SEFM, 2022)

Verifiably Safe Decision-Making for Autonomous Systems. - Yi Yang 034 (AAMAS, 2023)

vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making. - Yi Yang 034; Tom Holvoet (EMAS, 2023)

Safe Autonomous Decision-Making with vGOAL. - Yi Yang 034; Tom Holvoet (PAAMS, 2023)

Enhancing Confidence of the vGOAL Interpreter Using SAT Solving. - Yi Yang 034; Tom Holvoet (EMAS, 2024)

Developing a Safe Autonomous Logistic System with vGOAL. - Yi Yang 034; Tom Holvoet (PAAMS, 2024)

Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems. - Yi Yang 034; Tom Holvoet (PRIMA, 2024)

Model Checking of vGOAL. - Yi Yang 034; Tom Holvoet (CoRR, 2024)

Making model checking feasible for GOAL. - Yi Yang 034; Tom Holvoet (Ann. Math. Artif. Intell., 2024)

Bridging the Semantic Gap in vGOAL for Verifiable Autonomous Decision-Making. - Yi Yang 034; Tom Holvoet (ICAART (1), 2025)

Efficient Model Checking with Semantically-Equivalent Models for vGOAL. - Yi Yang 034; Tom Holvoet (AAMAS, 2025)