阿涅夫拉维斯，坦桑尼亚;保罗·塔布阿达 计算受控不变集的简单层次结构。 （英语） Zbl 07300864号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第23条，第11页（2020年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}和\textit{P.Tabuada}，摘自：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第23条，第11页（2020；Zbl 07300864） 全文： 内政部
科托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年；兹bl 07120157） 全文： 内政部