path-like counterexample的意思|示意
美 / /
英 / /
就反例
path-like counterexample的网络常见释义
系统的路径反例 针对确定性系统的路径反例(path-like counterexample)，提出了步进式的BFL算法，用于降低BFL算法的空间开销。BFL空间开销过大，其根本原因在于，BFL需要将状态迁移关系进行完全展开。