ML Anthology

Önder, Soner

1 publications

AAAI 2013 A First-Order Logic Based Framework for Verifying Simulations Hui Meen Nyew, Nilufer Onder, Soner Önder, Zhenlin Wang