Browsing by Author "Yang, Yi"

Now showing 1 - 4 of 4

Enhancing Confidence of the vGOAL Interpreter Using SAT Solving

Yang, Yi
;
Holvoet, Tom
Proceedings paper
2025, 12th International Workshop on Engineering Multi-Agent Systems, MAY 06-07, 2024, p.156-174
Generating Safe Autonomous Decision-Making in ROS

Yang, Yi
;
Holvoet, Tom
;
yang
Proceedings paper
2022, 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), APR 16-18, 2019, p.184-192
Making model checking feasible for GOAL

Yang, Yi
;
Holvoet, Tom
Journal article
2024, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (92) 4, p.837-853
Photo-responsive Fe single-atom dispersed FeNC-C3N4 electrocatalysts with Schottky heterojunction for photo-enhanced zinc-air batteries

Zhang, Yang
;
Xu, Xiaoqian
;
Yang, Yi
;
Luo, Xi
;
Yang, Kai
;
Safari, Momo
;
Huang, Haitao
;
Qiao, Jinli
Journal article
2026, JOURNAL OF COLLOID AND INTERFACE SCIENCE, (702) Pt.2, 15 January, p.138982