纳亚克、萨蒂亚·普拉卡什;尼尔,丹尼尔;马丁·齐默尔曼 rLTL游戏的自适应策略。 (英语) Zbl 07807705号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第32号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Nayak}et al.,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第32号论文,第2页(2021;Zbl 07807705) 全文: 内政部
斯坦利·塞缪尔;考希·马利克;安妮·凯瑟琳·施穆克;尼尔,丹尼尔 基于弹性抽象的控制器设计。 (英语) Zbl 07300874号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第33条,第2页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Samuel}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第33条,第2页(2020;Zbl 07300874) 全文: 内政部 arXiv公司
科托Mascle;尼尔,丹尼尔;马克西米利安·施温格;保罗·塔布阿达;亚历山大·韦内特;马丁·齐默尔曼 从LTL到rLTL监控。通过健壮的语义改进了监控能力。 (英语) Zbl 07300848号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第7条,第12页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第7条,第12页(2020;Zbl 07300848) 全文: 内政部 arXiv公司
扎尼斯·阿内夫拉维斯;尼尔,丹尼尔;马修·菲利普;保罗·塔布阿达 埃夫罗斯托斯。rLTL验证器。 (英语) Zbl 07120157号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。218-223 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。218-223(2019;Zbl 07120157) 全文: 内政部