关注
Hannah Tongxin Zeng
Hannah Tongxin Zeng
Barnard College, Columbia University
在 barnard.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Towards the usability of reactive synthesis: Building blocks of temporal logic
R Rothkopf, AL Cui, HT Zeng, A Sinha, S Mark
Plateau Workshop., 2023
62023
Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis
R Rothkopf, HT Zeng, M Santolucito
arXiv preprint arXiv:2402.16905, 2024
22024
系统目前无法执行此操作，请稍后再试。
文章 1–2