Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems.

Ramesh Yenda, M. V. Panduranga Rao

Browse the full PRIMA paper archive.