郁金香

此软件的关键字
zbMATH中的参考文献(参考文献 14条 )
阿帕扎·佩雷斯,华盛顿州。; 康巴斯特,C。; 瓦鲁基维茨,I。; 马斯克尔,A。; Zolghadri,A.:使用部分信息的基于抽象的控制综合(2022) 阿姆拉姆,加尔; 毛兹,沙哈尔; Pistiner或:GR(1)*:GR(1)使用存在保证扩展的规范(2021) 萨哈尔,莫哈杰拉尼; 马利克,罗比; 温滕伯格,安德鲁; 拉福琼,圣潘; Ozay,Necmiye:具有线性时序逻辑规范的控制器综合的发散性stutter双模拟抽象(2021) 阿帕扎·佩雷斯,W.亚历杭德罗; 康巴斯特,克里斯托夫; 佐尔加德里,阿里:持续性规范下互联系统的分布式符号控制(2020) 范楚楚; 米勒,克里斯蒂娜; Mitra,Sayan:非线性车辆模型的快速和有保证的安全控制器综合(2020年) 桥本、和硕门; Dimarogonas,Dimos V.:时间逻辑规范下的资源感知网络控制系统(2019) 哈立德,马哈茂德; Zamani,Majid:\textspffaces:符号控制的加速生态系统(2019) 巴特,安妮特; 德拉哈耶,贝诺; 福尼尔,波林; 石灰,迪迪埃; 蒙弗里克; Truchet,Charlotte:使用约束的参数区间马尔可夫链的可达性(2018) 厉、沂南; 刘俊:ROCS:非线性动力系统鲁棒完全控制综合工具(2018) 尼尔森,皮特; 奥扎,奈米耶; Liu,Jun:作为控制综合抽象的增广有限转移系统(2017) 笨蛋,安妮·凯瑟琳; 马朱姆达尔,鲁帕克; Leva,Adrian:动态分层无功控制器综合(2017) 刘军; Ozay,Necmiye:基于时序逻辑的控制综合的有限抽象(2016) 伦格,马提亚斯; Zamani,Majid:SCOTS:符号控制器合成工具(2016) 斯沃雷·奥娃,Mária; Kwiatkowska,Marta:随机博弈的定量验证与策略综合(2016)