Anti-chain based algorithms for timed/probabilistic refinement checking - Wang, Ting; Chen, Tieming; Liu, Yang; Wang, Ye (Science China. Information sciences, 2018)
Keywords: Algorithms; Computer Science; Information Systems and Communication Service; Research Paper; Specifications; Verification; refinement; model checking; timed automata; anti-chain; markov decision process