Browsing by Author "Yang, Yi"
Now showing 1 - 9 of 9
- Results per page
- Sort Options
Publication Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems
Publication Developing a Safe Autonomous Logistic System with vGOAL
; Holvoet, TomProceedings paper2025, Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection (PAAMS 2024), 2024-06-26, p.350-356Publication Enhancing Confidence of the vGOAL Interpreter Using SAT Solving
Publication Generating Safe Autonomous Decision-Making in ROS
Publication Making model checking feasible for GOAL
Publication Photo-responsive Fe single-atom dispersed FeNC-C3N4 electrocatalysts with Schottky heterojunction for photo-enhanced zinc-air batteries
Journal article2026, JOURNAL OF COLLOID AND INTERFACE SCIENCE, (702) Pt.2, 15 January, p.138982Publication Safe Autonomous Decision-Making with vGOAL
; Holvoet, TomProceedings paper2023, Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, 2023-07-12, p.388-400Publication Threshold Voltage Bias Temperature Instability of RF MIS-HEMTs and Schottky HEMTs Under Semi-On State Stress
Journal article2025, IEEE TRANSACTIONS ON ELECTRON DEVICES, (72) 10, p.5359-5365Publication Toward Understanding Stability of RF MIS-HEMTs under ON/SEMI-ON/OFF-State Pulses with Scaling in-situ SiN Thicknesses
Proceedings paper2025, IEEE International Reliability Physics Symposium (IRPS), 2025-03-30