关注
Yuning Wang
Yuning Wang
Rutgers University
在 rutgers.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Verification-guided Programmatic Controller Synthesis
Y Wang, H Zhu
International Conference on Tools and Algorithms for the Construction and …, 2023
32023
Infrastructure for rapid open knowledge network development
M Cafarella, M Anderson, I Beltagy, A Cattan, S Chasins, I Dagan, ...
AI Magazine 43 (1), 59-68, 2022
22022
Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models
Y Wang, H Zhu
36th International Conference on Computer Aided Verification (CAV), 2024
2024
Reward-Guided Synthesis of Intelligent Agents with Control Structures
G CUI, Y WANG, W QIU, HE ZHU
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4