×

找到4个文档(结果1-4)

基于时间线的游戏的控制器合成。 (英语) 兹比尔07802076

Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370、131-146(2022)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用于(mathrm{TPTL})和(mathrm)的单程和树形表格系统{TPTL}_b+\mathrm{Past}\)。 (英语) Zbl 1524.03015号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277176-190(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

出版年份

主字段

软件