Hui Meen Nyew, Nilufer Onder, Soner Önder, Zhenlin Wang. A First-Order Logic Based Framework for Verifying Simulations. In Marie desJardins, Michael L. Littman, editors, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2012, Bellevue, Washington, USA. pages 1635-1636, AAAI Press, 2013. [doi]
Abstract is missing.