具有定性定时自动机目标的随机实时博弈 电子书下载

原名:Stochastic Real-Time Games with Qualitative Timed Automata Objectives
作品简介:获胜目标由定时自动机指定的过程。这 。证明具有 DTA 目标的 SRTG 具有一个值，即，supσ infπ P。……