马丁·范策尔；马赫萨·希尔穆罕默德；马尼省斯瓦米纳坦；詹姆斯·沃雷尔 定价时间自动机中的成本和回报。 （英语） 兹比尔1483.68168 Inf.计算。 282，文章ID 104656，17 p.（2022）.MSC公司：65年第68季度 03B25号 11日72 05年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fränzle｝等人，信息计算。282，文章ID 104656，17 p.（2022；Zbl 1483.68168） 全文： 内政部 arXiv公司 链接
克里斯特尔·拜尔；科宁，诺琳；伯恩德·芬克贝纳；弗洛里安·芬克；西蒙·詹奇；朱利安·西伯 基于因果关系的游戏解决。 （英语） Zbl 1493.68203号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).MSC公司：60年第68季度 03B70号 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。12759894--917（2021年；Zbl 1493.68203） 全文： 内政部 arXiv公司
马丁·迪德里克森；彼得·詹森（Peter G.Jensen）。；乔纳森·昂勒。；安德烈·伊昂·卡托纳；桑奇·D·L·喇嘛。；弗雷德里克·洛特鲁普。；沙哈卜·沙贾拉特；吉·斯尔巴 通过Petri游戏自动合成暂时正确的网络更新。 （英语） Zbl 1489.68157号 Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 118-137 (2021).MSC公司：68问题85 68米10 60年第68季度 68兰特 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Didriksen}等人，Lect。注释计算。科学。12734、118--137（2021年；Zbl 1489.68157） 全文： 内政部
罗德里克·布洛姆；克里希南德·查特吉；芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
吴义钦；瓦苏马提·拉曼；布莱克·罗林斯。；圣菲拉福顿；Sanjit A.Seshia。 模糊处理策略的综合，以确保隐私和实用性。 （英语） Zbl 1426.68085号 J.汽车。推理 60，第1期，107-131（2018）.MSC公司：68第27页 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人，J.Autom。推理60，No.1，107--131（2018；Zbl 1426.68085） 全文： 内政部 链接
西蒙·巴斯德；查尔斯·佩彻 一种基于反向遍历的方法，用于约束可达性统一策略的符号模型检查。 （英语） Zbl 1483.68188号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256253-267（2017）。MSC公司：60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}和\textit{C.Pecheur}，电子。程序。西奥。计算。科学。（EPTCS）256253--267（2017；Zbl 1483.68188） 全文： arXiv公司 链接
芭芭拉·乔布斯曼；斯特凡·斯塔珀；安德烈亚斯·格雷斯迈耶；罗德里克·布洛姆 发现并修复故障。 （英语） Zbl 1263.68112号 J.计算。系统。科学。 78，第2期，441-460（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112） 全文： 内政部
李，李；何开多；顾，明；宋晓宇 线性算术约束的等式检测。 （英语） Zbl 1237.91075号 浙江科技大学学报。A类 第10期，第12期，1784-1789（2009）.MSC公司：91B06型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人，浙江科技大学。A 10，第12号，1784-1789（2009；Zbl 1237.91075） 全文： 内政部
范德波尔（Jaco van de Pol）；迈克尔·韦伯 奇偶游戏的多核求解器。 （英语） Zbl 1286.68326号 乔纳·伊瓦纳（编辑）等人，《第七届平行和分布式验证方法国际研讨会论文集》（PDMC 2008），匈牙利布达佩斯，2008年3月29日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第2期，19-34（2008）。MSC公司：60年第68季度 68宽10 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Weber}，电子。注释Theor。计算。科学。220，编号2，19-34（2008；Zbl 1286.68326） 全文： 内政部