Simulation-based minimization
From MaRDI portal
Publication:5267428
DOI10.1145/635499.635502zbMath1365.68319MaRDI QIDQ5267428
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/635499.635502
Related Items
Game-theoretic simulation checking tool, Generalizing the Paige-Tarjan algorithm by abstract interpretation, An efficient simulation algorithm based on abstract interpretation, Parity game reductions, An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation, An efficient simulation algorithm on Kripke structures, An Algorithm for Probabilistic Alternating Simulation, Strong simulation, Abstraction and Abstraction Refinement, Correcting a Space-Efficient Simulation Algorithm