imec Institutional Repository Browsing {{ collection }} by Author "Yang, Yi"

Publication

Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems

Yang, Yi

;

Holvoet, Tom

Proceedings paper

2025, 25th International Conference on Principles and Practice of Multi-Agent Systems - PRIMA, 2024-11-18, p.248-264

Publication

Enhancing Confidence of the vGOAL Interpreter Using SAT Solving

Yang, Yi

;

Holvoet, Tom

Proceedings paper

2024, 12th International Workshop on Engineering Multi-Agent Systems, 2024-05-06, p.156-174

Publication

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

Publication

Making model checking feasible for GOAL

Yang, Yi

;

Holvoet, Tom

Journal article

2024, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (92) 4, p.837-853

Publication

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

Publication

Toward Understanding Stability of RF MIS-HEMTs under ON/SEMI-ON/OFF-State Pulses with Scaling in-situ SiN Thicknesses

Yang, Yi

;

Yu, Hao

;

Tsai, Meng-Che

;

Lin, Wei-Tung

;

Kuo, Ying-Chu

;

O'Sullivan, Barry

;

Rathi, Aarti

Proceedings paper

2025, IEEE International Reliability Physics Symposium (IRPS), 2025-03-30

Browsing by Author "Yang, Yi"