Yoosef Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff. Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1071-1079, ACM, 2015. [doi]
Abstract is missing.