Symbolic Counterexample Generation for Discrete-Time Markov Chains.Nils Jansen,Erika Ábrahám,Barna Zajzon,Ralf Wimmer,Johann Schuster,Joost-Pieter Katoen,Bernd BeckerFACS(2012)引用 7|浏览16暂无评分关键词Target State, Conjunctive Normal Form, Path Search, Binary Decision Diagram, Satisfying AssignmentAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要