Nyew HM, Onder N, Onder S, Wang Z. A First-Order Logic Based Framework for Verifying Simulations. AAAI [Internet]. 2013Jun.29 [cited 2026Apr.24];27(1):1635-6. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8540