Ya Gao, Wenhui Zhang, Xue-Yang Zhu. Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021. pages 1024-1035, IEEE, 2021. [doi]
Abstract is missing.