摘要：MDP中的安全性问题及其合成方法的研究
作者：S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, {DJ}or{dj}e v{Z}ikeli''c
论文ID：2305.16796
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-29
PDF 下载： 英文版 中文版pdf翻译中