Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
Code to do multi agent systems research on StarCraft II. It contains methods to deal with the Raw Interface from the SC2 API, which has not been officially adapted for Python. This means that, the programmer can now access the objects at the game and the 2D original representation of the map
Similar is a Multi-Level Agent-Based Modeling formal meta-model based on the Influence Reaction model. It is implemented in Java and released under the CeCILL-B license.
Tight multi robot coordination for a multi agent system where the communication range is constrained and the agents need to coordinate and reach there goal destination without violating the range barrier in an obstacle environment.
An OpenAI gym multi-agent environment implementing the Commons Game proposed in "A multi-agent reinforcement learning model of common-pool resource appropriation"
Implementation of knowledge base (KB) abilities for agents developed in SPADE (Smart Python Agent Development Environment). The finalised product should enable agents to cope with personal and global knowledge bases explicated using logical statements in various languages, or RDF/OWL files.
Currently PADE mix behaviours and protocols in a same file located in
/pade/behaviours/protocols.py.The idea is split behaviours and protocols in different files.