Abstraction and Refinement in Games with Dynamic Weighted Terrain

机译：具有动态加权地形的游戏中的抽象和改进

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This abstract looks at one version of the pathfinding problem in games and discusses how it motived our recent work at the AIIDE 2019 conference.

机译：这个摘要在游戏中查看了一个版本的路径挑战问题，并讨论了它在Aiide 2019会议上的最新工作的运动方式。

著录项

来源
《AAAI Conference on Artificial Intelligence;AAAI Symposium on Educational Advances in Artificial Intelligence》|2020年|13350-13707p|共3页
会议地点
作者
Nathan R. Sturtevant; Devon Sigurdson; Bjorn Taylor; Tim Gibson;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-53;
关键词

相似文献

外文文献
中文文献
专利

1. Generalized abstraction-refinement for game-based CTL lifted model checking [J] . Dimovski Aleksandar S., Legay Axel, Wasowski Andrzej Theoretical computer science . 2020,第1期

机译：基于游戏的CTL提升模型检查的广义抽象精炼
2. Solving games via three-valued abstraction refinement [J] . Luca de Alfaro, Pritam Roy Information and computation . 2010,第6期

机译：通过三值抽象改进来解决游戏
3. A game-based abstraction-refinement framework for Markov decision processes [J] . Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, Formal Methods in System Design . 2010,第3期

机译：基于游戏的马尔可夫决策过程的抽象优化框架
4. Abstraction and Refinement in Games with Dynamic Weighted Terrain [C] . Nathan R. Sturtevant, Devon Sigurdson, Bjorn Taylor, AAAI Conference on Artificial Intelligence;AAAI Symposium on Educational Advances in Artificial Intelligence . 2020

机译：具有动态加权地形的游戏中的抽象和改进
5. An Abstraction-Refinement Framework for First-Order Reasoning with Large Theories [D] . López Hernández, Julio César. 2020

机译：具有大理论的一级推理的抽象精炼框架
6. Range Analysis and Terrain Preference of Adult Southern White Rhinoceros (Ceratotherium simum) in a South African Private Game Reserve: Insights into Carrying Capacity and Future Management [O] . S. Thompson, T. Avent, L. S. Doughty -1

机译：南非私人野生动物保护区中成年南部白犀牛（Ceratotherium simum）的范围分析和地形偏好：对承载能力和未来管理的见解
7. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata [O] . Bettina Braitling, Ferrer Fioriti, Hassan Hatefi, 2016

机译：meGaRa：马尔可夫自动机的基于菜单的游戏抽象和抽象细化

Abstraction and Refinement in Games with Dynamic Weighted Terrain

摘要

著录项

相似文献

相关主题

期刊订阅