Verification of behaviourist multi-agent systems by means of formally guided simulations
Paulo Salem da Silva · 2011
My gratitude goes to the people who helped me either in the technical and intellectual developments themselves or in the surprisingly hard work involved in getting these developments through the academic bureaucracy.As it is usual, I fear I may forget important names