Programmi di mcmas-c.sf.net

MCMAS-C è un'estensione del più famoso modello checker MCMAS, che viene implementato per verificare il sistema multi-agente. La nostra estensione è correlata al controllo degli impegni sociali che gli agenti possono creare e