PROGRAMME VON mcmas-c.sf.net

MCMAS-C ist eine Erweiterung des berühmtesten Modellprüfers MCMAS, der zur Überprüfung des Multi-Agent-Systems implementiert ist. Unsere Erweiterung bezieht sich darauf, soziale Verpflichtungen zu überprüfen, die Agenten erst