Reachability-Time Games on Timed Automata
Reachability-Time Games on Timed Automata
复制标题
定时自动机上的可达性时间博弈
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Marcin Jurdzinski
中科院分区：
文献类型：
--
作者：
Marcin Jurdzinski
登录
查看更多内容
利用定价时间自动机实现最优调度
DOI：
--
发表时间：
2006
期刊：
Formal Methods Syst. Des.
影响因子：
--
作者：
J. I. Rasmussen;K. Larsen;K. Subramani
通讯作者：
K. Subramani
定价定时博弈自动机中的最优策略
DOI：
--
发表时间：
2004
期刊：
Foundations of Software Technology and Theoretical Computer Science
影响因子：
--
作者：
P. Bouyer;F. Cassez;E. Fleury;K. Larsen
通讯作者：
K. Larsen
加权 O-最小混合系统比加权定时自动机更具可判定性！
DOI：
--
发表时间：
2007
期刊：
Symposium on Logical Foundations of Computer Science
影响因子：
--
作者：
P. Bouyer;Thomas Brihaye;Fabrice Chevalier
通讯作者：
Fabrice Chevalier
限时游戏中的最短时间可达性
DOI：
--
发表时间：
2007
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Thomas Brihaye;T. Henzinger;Vinayak S. Prabhu;Jean
通讯作者：
Jean
DOI：
--
发表时间：
2006
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
T. Henzinger;Vinayak S. Prabhu
通讯作者：
Vinayak S. Prabhu