×

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

最新 引文 关联
王海阳;段振华;田聪

交替投影时序逻辑的符号模型检查。 （英语） Zbl 1473.68108号

Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wang}等人，Lect。注释计算。科学。9486481——495（2015年；兹bl 1473.68108）
全文： 内政部
Jerzy Pilecki;马雷克·贝德纳奇克（Marek A.Bednarczyk）。;沃伊切赫·贾姆罗加

多智能体系统统一策略的综合与验证。 （英语） Zbl 1425.68419号

Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8624166-182页（2014年）。
MSC公司：68T42型 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Pilecki}等人，Lect。注释计算。科学。8624，166--182（2014；Zbl 1425.68419）
全文： 内政部
克利斯朵夫·查尔顿;朱利安·布鲁内尔;戴维·谢穆伊尔

使用交替时间时序逻辑对代理、目标和操作进行的形式化处理。 （英语） Zbl 1349.68116号

Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，巴西圣保罗，第14届巴西研讨会，SBMF 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021188-203（2011）。
MSC公司：60年第68季度 03B44号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Chareton｝等人，Lect。注释计算。科学。7021、188--203（2011；Zbl 1349.68116）
全文： 内政部 哈尔
娜塔莎·亚历奇纳;布赖恩·洛根;阮黄雅（Nguyen Hoang Nga）;阿卜杜尔·拉基布

验证基于规则推理器的时间和通信成本。 （英语） Zbl 1226.68118号

Peled，Doron A.（编辑）等人，《模型检查和人工智能》。2008年7月21日，第五届国际研讨会，MoChArt 2008，希腊帕特拉斯。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。计算机科学课堂讲稿5348。人工智能课堂讲稿，1-14（2009）。
MSC公司：68T42型 03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛N.Alechina｝等人，Lect。注释计算。科学。5348，1-14（2009年；Zbl 1226.68118）
全文： 内政部
沃伊切赫·贾姆罗加;尤尔根·迪克斯

不完全信息下代理策略能力的模型检验。 （英语） Zbl 1136.68425号

Coppo，Mario（编辑）等人，《理论计算机科学》。第九届意大利会议，2005年ICTCS，2005年10月12日至14日，意大利锡耶纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29106-7/pbk）。计算机科学课堂讲稿3701，295-308（2005）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛W.Jamroga｝和\textit｛J.Dix｝，Lect。注释计算。科学。3701、295--308（2005年；Zbl 1136.68425）
全文： 内政部
艾丹·哈丁;马克·瑞恩;皮埃尔·伊夫·肖本斯

近似ATL中的ATL（^*\）。 （英语） Zbl 1057.68059号

Cortesi，Agostino（编辑），《验证、模型检查和抽象解释》。第三届国际研讨会，VMCAI 2002，意大利威尼斯，2002年1月21日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-43631-6）。莱克特。注释计算。科学。2294, 289-301 (2002).
MSC公司：60年第68季度 68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Harding}等人，Lect。注释计算。科学。2294289--301（2002年；Zbl 1057.68059）
全文： 链接
弗兰克·卡塞兹;莱恩，马克·德莫特;皮埃尔·伊夫·肖本斯

用交替时间时序逻辑证明非交互特性。 （英语） Zbl 1047.03022号

Gilmore，Stephen（编辑）等人，描述特征的语言结构。FIREworks研讨会会议记录，英国格拉斯哥，2000年5月15日至16日。伦敦：施普林格（ISBN 1-85233-392-8/pbk）。85-103（2001年）。
MSC公司：03B70号 03B44号 68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，in：描述特征的语言构造。FIREworks研讨会会议记录，英国格拉斯哥，2000年5月15日至16日。伦敦：斯普林格。85-103（2001年；Zbl 1047.03022）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件