任务结构概率I/O自动机

兰·卡内蒂,张玲(Ling Cheung),迪尔森·基里·卡纳尔,摩西·利斯科夫,南希·A·林奇,奥利维尔·佩雷拉,罗伯托·塞加拉.任务结构概率I/O自动机.J.计算。系统。科学。, 94:63-97,2018 [美国国防部]

摘要

缺少摘要。