Differentiable Inference of Temporal Logic Formulas
Differentiable Inference of Temporal Logic Formulas
复制标题
时态逻辑公式的可微推理
DOI：
10.1109/tcad.2022.3197506
复制
发表时间：
2022
影响因子：
2.9
通讯作者：
Abbas, Houssam
中科院分区：
文献类型：
--
作者：
Fronda, Nicole;Abbas, Houssam
登录
查看更多内容
DOI：
--
发表时间：
2020
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
Nicolas Basset;T. Dang;Akshay Mambakam;José
通讯作者：
José
DOI：
10.1145/3365365.3382218
发表时间：
2019-07
期刊：
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Sara Mohammadinejad;Jyotirmoy V. Deshmukh;Aniruddh Gopinath Puranic;Marcell Vazquez-Chanlatte;Alexandre Donzé
通讯作者：
Sara Mohammadinejad;Jyotirmoy V. Deshmukh;Aniruddh Gopinath Puranic;Marcell Vazquez-Chanlatte;Alexandre Donzé
动力系统的假设/保证合同：理论和计算工具
DOI：
--
发表时间：
2020
期刊：
IFAC Conference on Analysis and Design of Hybrid Systems
影响因子：
--
作者：
Miel Sharf;B. Besselink;A. Molin;Qiming Zhao;K. Johansson
通讯作者：
K. Johansson
来自示例和自然语言的时间规范的交互式合成
影响因子：
--
作者：
I. Gavran;Eva Darulova;R. Majumdar
通讯作者：
R. Majumdar