DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Browse the full PRIMA paper archive.