控制器合成与序数自动机

摘要:使用自动机和游戏技术解决Demri和Nowak在2005年提出的一个控制问题,涉及到偏观测和控制器与环境之间的新的同步方式。

作者:Thierry Cachat (LIAFA)

论文ID:cs/0608120

分类:Computer Science and Game Theory

分类简称:cs.GT

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中