Yi Yang

Orcid: 0000-0001-9565-1559

Affiliations:
  • KU Leuven, imec-DistriNet, Belgium


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Making model checking feasible for GOAL.
Ann. Math. Artif. Intell., August, 2024

Model Checking of vGOAL.
CoRR, 2024

Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems.
Proceedings of the PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024

Developing a Safe Autonomous Logistic System with vGOAL.
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.
Proceedings of the Engineering Multi-Agent Systems - 12th International Workshop, 2024

2023
Safe Autonomous Decision-Making with vGOAL.
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.
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Verifiably Safe Decision-Making for Autonomous Systems.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Generating Safe Autonomous Decision-Making in ROS.
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


  Loading...