A Lazy Approach to Temporal Epistemic Logic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Marco Gario, Stefano Tonetta. A Lazy Approach to Temporal Epistemic Logic Model Checking. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 1218-1226, ACM, 2016. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Marco Gario' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL