Multi-Agent Automata and Its Application to LDLK Satisfiability Checking.

Ya Gao, Wenhui Zhang, Xue-Yang Zhu

Browse the full QRS paper archive.