Statistics of Specification and Verification of Multi-Agent Systems

Contact ORBilu