Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
复制标题
迈向反应综合的可用性：时态逻辑的构建块
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Santolucito. Mark
中科院分区：
文献类型：
--
作者：
Rothkopf, Raven;Cui, Angel Leyi;Zeng, Hannah Tongxin;Sinha, Arya;Santolucito. Mark
