Creating Reproducible Agent Based Models Using Formal Methods.

Joseph Kehoe

Browse the full MABS paper archive.