Tong Guo, Meiqin Pan, Zhijun Ding. Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems. Computers and Artificial Intelligence, 44(6):1336, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.