Marina Bagic, Marijan Kunstic. Verification of Intelligent Agents with ACTL for Epistemic Reasoning. In 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Aus. pages 62, IEEE Computer Society, 2006. [doi]
Abstract is missing.