Paulo Salem da Silva, Ana Cristina Vieira de Melo. An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. In 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, IAT 2013, 17-20 November 2013, Atlanta, Georgia, USA. pages 266-273, IEEE Computer Society, 2013. [doi]
Abstract is missing.