Verifying rLTL formulas: now faster than ever before!
Verifying rLTL formulas: now faster than ever before!
复制标题
验证 rLTL 公式：现在比以往更快！
DOI：
10.1109/cdc.2018.8619014
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Tabuada, Paulo
中科院分区：
文献类型：
--
作者：
Anevlavis, Tzanis;Philippe, Matthew;Neider, Daniel;Tabuada, Paulo
稳健的 omega-regular 软件综合理论
DOI：
10.1145/2539036.2539044
发表时间：
2013
期刊：
ACM Trans. Embed. Comput. Syst.
影响因子：
--
作者：
R. Majumdar;Elaine Render;P. Tabuada
通讯作者：
P. Tabuada
对未建模的间歇性干扰具有鲁棒性的安全控制器的综合
DOI：
10.1109/cdc.2016.7799416
发表时间：
2016
期刊：
2016 IEEE 55th Conference on Decision and Control (CDC)
影响因子：
--
作者：
E. Dallal;D. Neider;P. Tabuada
通讯作者：
P. Tabuada
鲁棒线性时序逻辑
DOI：
10.4230/lipics.csl.2016.10
发表时间：
2015
期刊：
ArXiv
影响因子：
--
作者：
P. Tabuada;D. Neider
通讯作者：
D. Neider