Yi Yang

14 papers A* 1A 2B 4Misc 2Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
Responsible Humanoids: A Contradiction in Terms?
HRI
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
2025 J jnl
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.
IEEE Robotics Autom. Mag.
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
2025 — conf
Bridging the Semantic Gap in vGOAL for Verifiable Autonomous Decision-Making.
ICAART (1)
Yi Yang, Tom Holvoet
2025 A conf
Efficient Model Checking with Semantically-Equivalent Models for
AAMAS
Yi Yang, Tom Holvoet
2025 B conf
Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025.
EMAS
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
2024 B conf
Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems.
PRIMA
Yi Yang, Tom Holvoet
2024 Misc conf
Developing a Safe Autonomous Logistic System with vGOAL.
PAAMS
Yi Yang, Tom Holvoet
2024 B conf
Enhancing Confidence of the vGOAL Interpreter Using SAT Solving.
EMAS
Yi Yang, Tom Holvoet
2024 J jnl
Making model checking feasible for GOAL.
Ann. Math. Artif. Intell.
Yi Yang, Tom Holvoet
2024 J jnl
Model Checking of vGOAL.
CoRR
Yi Yang, Tom Holvoet
2023 Misc conf
Safe Autonomous Decision-Making with vGOAL.
PAAMS
Yi Yang, Tom Holvoet
2023 A conf
Verifiably Safe Decision-Making for Autonomous Systems.
AAMAS
Yi Yang
2023 B conf
vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making.
EMAS
Yi Yang, Tom Holvoet
2022 — conf
Generating Safe Autonomous Decision-Making in ROS.
FMAS/ASYDE@SEFM
Yi Yang, Tom Holvoet