Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers
Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers
复制标题
具有时间冻结量词的信号时态逻辑的定量鲁棒性
DOI：
10.1109/tcad.2023.3283296
复制
发表时间：
2023
影响因子：
2.9
通讯作者：
Prabhu, Vinayak S.
中科院分区：
文献类型：
--
作者：
Ghorbel, Bassem;Prabhu, Vinayak S.
登录
查看更多内容
论定时逻辑的表达能力：比较有界性、非守时性和确定性冻结
DOI：
--
发表时间：
2011
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
P. Pandya;Simoni S. Shah
通讯作者：
Simoni S. Shah
DOI：
--
发表时间：
2021
期刊：
Logic in Computer Science
影响因子：
--
作者：
T. Henzinger;N. Saraç
通讯作者：
N. Saraç
影响因子：
6.8
作者：
K. Chatterjee;Vinayak S. Prabhu
通讯作者：
Vinayak S. Prabhu
计算前移流量管之间的距离
DOI：
--
发表时间：
2016
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
R. Majumdar;Vinayak S. Prabhu
通讯作者：
Vinayak S. Prabhu
定时自动机的动态数据结构。
影响因子：
1.1
作者：
通讯作者：
--