Yi Yang

According to our database, Yi Yang authored at least 14 papers between 2022 and 2026.

Collaborative distances:

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

2026

Responsible Humanoids: A Contradiction in Terms?

Séverin Lemaignan, AJung Moon, Simon Coghlan, Emily C. Collins, Vanessa Evers, Nico Hochgeschwender, Sara Ljungblad, Michael Milford, Sarah Moth-Lund Christensen, Francisco J. Rodríguez-Lera, Pericle Salvini, Yi Yang

Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction, 2026

2025

A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.

Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang

IEEE Robotics Autom. Mag., December, 2025

Efficient Model Checking with Semantically-Equivalent Models for <i>vGOAL</i>.

Yi Yang, Tom Holvoet

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Bridging the Semantic Gap in vGOAL for Verifiable Autonomous Decision-Making.

Yi Yang, Tom Holvoet

Proceedings of the 17th International Conference on Agents and Artificial Intelligence, 2025

Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025.

Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, Önder Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang

Proceedings of the Engineering Multi-Agent Systems - 13th International Workshop, 2025

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