Home

This is the web site for the VRBMAS project: Verification of Resource-Bounded Multi-Agent Systems. The project is funded by EPSRC under grant EP/K033905/1 and grant EP/K033921/1.

epsrc-logouon-logomdx-logo