Probabilistic synthesis against GR(1) winning condition

Zhao, W; Li, R; Liu, WW; Dong, W; Liu, ZM

Liu, WW (通讯作者)，Natl Univ Def Technol, Sch Comp, Changsha 410073, Peoples R China.

FRONTIERS OF COMPUTER SCIENCE, 2022; 16 (2):

Abstract

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索