Biyang Wang, Eric Madelaine, Min Zhang. New Symbolic Model and Equivalences Checking for Open Automata. In 2021 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2021, Melbourne, Australia, October 17-20, 2021. pages 2360-2367, IEEE, 2021. [doi]
Abstract is missing.