×

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

最新的 引文 关联
雷纳托·阿坎波拉；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；瓦伦蒂诺·皮科蒂

基于时间线的游戏的控制器合成。 （英语） Zbl 1530.68238号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、131-146（2022）。
MSC公司：68T20型 60年第68季度 91A99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Acampora}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、131--146（2022年；Zbl 1530.68238）
全文： arXiv公司 链接
尼古拉·吉甘特；安吉洛·蒙塔纳里；梅耶·玛尔塔·恰尔迪亚；安德烈亚·奥兰迪尼；马克·雷诺兹

一种游戏理论方法，用于基于时间的不确定性规划。 （英语） 兹比尔1487.68213

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第13条，第17页（2018年）。
MSC公司：68T20型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{N.Gigante}等人，LIPIcs——莱布尼茨国际程序。通知。120，第13条，第17页（2018；Zbl 1487.68213）
全文： 内政部 arXiv公司
劳拉·博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆

密集时间域上基于时间线的规划的复杂性：探索中间地带。 （英语） Zbl 1528.68358号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277191-205（2018）。
MSC公司：68T20型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277191-205（2018；Zbl 1528.68358）
全文： arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

出版年份

全部的 前3名

主字段

软件