Yi Yang

According to our database, Yi Yang authored at least 9 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Making model checking feasible for GOAL.

Yi Yang, Tom Holvoet

Ann. Math. Artif. Intell., August, 2024

Model Checking of vGOAL.

Yi Yang, Tom Holvoet

CoRR, 2024

Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems.

Yi Yang, Tom Holvoet

Proceedings of the PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024

Developing a Safe Autonomous Logistic System with vGOAL.

Yi Yang, Tom Holvoet

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection, 2024

Enhancing Confidence of the vGOAL Interpreter Using SAT Solving.

Yi Yang, Tom Holvoet

Proceedings of the Engineering Multi-Agent Systems - 12th International Workshop, 2024

2023

Safe Autonomous Decision-Making with vGOAL.

Yi Yang, Tom Holvoet

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making.

Yi Yang, Tom Holvoet

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Verifiably Safe Decision-Making for Autonomous Systems.

Yi Yang

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Generating Safe Autonomous Decision-Making in ROS.

Yi Yang, Tom Holvoet

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022