A First-Order Logic Based Framework for Verifying Simulations.

Hui Meen Nyew, Nilufer Onder, Soner nder, Zhenlin Wang

Browse the full AAAI paper archive.