丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 （英语） Zbl 07538307号 Inf.计算。 285，B部分，文章ID 104810，23 p.（2022）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《信息计算》。285，B部分，文章ID 104810，23 p.（2022；Zbl 07538307） 全文： 内政部 链接
阿尼埃洛·穆拉诺；萨沙·鲁宾；马丁·齐默尔曼 加权极限对策中的最优策略。 （英语） Zbl 07455744号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326114-130（2020；Zbl 07455744） 全文： arXiv公司 链接
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 （英语） Zbl 1487.68159号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，1-16（2019）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305，1-16（2019；Zbl 1487.68159） 全文： arXiv公司 链接
瑞典雅各布斯；Leander Tentrup公司；马丁·齐默尔曼 参数化时序逻辑的分布式综合。 （英语） Zbl 1400.68124号 Inf.计算。 262，第2部分，311-328（2018）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}等人，《信息计算》。262，第2部分，311--328（2018；Zbl 1400.68124） 全文： 内政部 arXiv公司