“使用Counterexample Guided高效执行运行时策略…”
马修·弗雷德里克森 , 理查德·乔纳 , 萨默什·贾 , 托马斯·W·代表 , 菲利普·波拉斯 , 哈森·萨伊迪 , Vinod Yegneswaran公司 :
使用反示例引导的抽象优化实现高效的运行时策略实施。 CAV汽车 2012 : 548-563
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。