×

找到23个文档（结果1-23）

最新的 引文 关联
亚历山大·杜雷特·卢茨；雷诺，艾蒂安；马克西米利安·科朗格；弗洛里安·伦金；亚历山大·巴吉迪·艾塞；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）；托马斯·梅迪奥尼；安托万·马丁；杰罗姆·杜波伊斯；Clément吉拉德；亨利克·劳科

从Spot 2.0到Spot 2.10：有什么新功能？ （英语） Zbl 1514.68128号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。13372, 174-187 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。票据计算。科学。13372174-187（2022年；Zbl 1514.68128）
全文： 内政部 arXiv公司
良太郎班诺；松冈、高太郎；直本松本；卞、宋；Masaki Waga；Kohei Suenaga公司

通过完全同态加密对安全LTL规范进行不经意的在线监控。 （英语） Zbl 1514.68118号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。13371, 447-468 (2022).
MSC公司：60年第68季度 68第25页 65年第68季度 68周27
PDF格式BibTeX公司 XML格式引用
\textit{R.Banno}等人，Lect。票据计算。科学。13371、447--468（2022年；Zbl 1514.68118）
全文： 内政部 arXiv公司
彼得·格约尔·詹森；吉·斯尔巴；尼古拉·延森·乌尔里克；西蒙·梅尔比

自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英语） Zbl 1498.68160号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 151-173 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。票据计算。科学。13182、151--173（2022年；Zbl 1498.68160）
全文： 内政部
安德鲁·威尔斯（Andrew M.Wells）。；莫特萨·拉希贾尼安；利迪亚·卡夫拉基。；莫舍·瓦尔迪。

\（\mathrm{LTL}_f\)概率系统综合。 （英语） Zbl 07455747号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326166-181（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Wells}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326166--181（2020；Zbl 07455747）
全文： arXiv公司 链接
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

部分可观测性下的LTLf综合：从理论到实践。 （英语） Zbl 07455737号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737）
全文： arXiv公司 链接
克里斯特尔·拜尔；弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨；约阿希姆·克莱因；大卫·米勒；斯特雷切克，简

通用空置检查，以获得乐趣和利润。 （英语） 兹比尔1437.68092

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11781, 445-461 (2019).
MSC公司：65年第68季度 60年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。票据计算。科学。11781、445--461（2019年；Zbl 1437.68092）
全文： 内政部
简·Křetínsk；亚历山大·曼塔；托拜厄斯·梅根多夫

LTL合成中奇偶博弈求解的语义标记和学习。 （英语） Zbl 1437.68118号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11781, 404-422 (2019).
MSC公司：60年第68季度 03B44号 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\文本{J.Křetínský}等人，Lect。票据计算。科学。11781、404--422（2019年；Zbl 1437.68118）
全文： 内政部 arXiv公司
萨伏安·塔哈；雅克·朱利亚德；弗雷德里克·达多；卡卢·卡布雷拉·卡斯蒂略；比拉尔·坎索

一种基于合成自动机的语义，并保留用于测试属性模式的转换规则。 （英语） Zbl 1338.68164号

正式Asp。计算。 27，第4期，641-664（2015）.
MSC公司：第68季度55 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Taha}等人，正式Asp。计算。27，第4号，641--664（2015；Zbl 1338.68164）
全文： 内政部
祖扎纳科马尔科娃；简·Křetínsk

Rabinizer 3:LTL到小型确定性自动机的非安全转换。 （英语） Zbl 1448.68268号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837235-241（2014年）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Komárková}和\textit{J.Křetínskí}，Lect。票据计算。科学。8837、235--241（2014；Zbl 1448.68268）
全文： 内政部
亚历山大·杜雷特·卢茨

使用Spot 1.0操作LTL公式。 （英语） Zbl 1410.68223号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8172, 442-445 (2013).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}，莱克特。票据计算。科学。8172、442--445（2013；Zbl 1410.68223）
全文： 内政部
李建文；浦、葛光；张丽君；王，郑；何继峰；金·古德斯特兰·拉森

关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛J.Li｝等人，Lect。票据计算。科学。8051256-270（2013年；Zbl 1390.68435）
全文： 内政部 arXiv公司
亚历山大·杜雷特·卢茨；丹尼斯·波特雷诺；Jean-Michel库弗勒

基于转换的Streett自动机的即时空性检查。 （英语） Zbl 1262.68118号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，213-227（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。票据计算。科学。5799、213--227（2009年；Zbl 1262.68118）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） Zbl 1209.68325号

Ramanujam，R.（编辑）等人，《逻辑及其应用》。2009年1月7日至11日，第三届印度会议，ICLA 2009，印度钦奈。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92700-6/pbk）。计算机科学讲义5378。《人工智能讲义》，89-115（2009）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。票据计算。科学。5378，89-115（2009年；Zbl 1209.68325）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件