Abstracts 18th annual scientific meeting of the American Uro-Gynecologic society September 25–28 1997 Tucson, Arizona.pdfVIP

Verification and Validation of Agent-Based Simulations Using Approximate Model Checking ( ) Benjamin Herd B , Simon Miles, Peter McBurney, and Michael Luck Department of Informatics, King’s College London, London, UK benjamin.c.herd@kcl.ac.uk Abstract. This paper focusses on the usefulness of approximate prob- abilistic model checking for the internal and external validation of large- scale agent-based simulations. We describe the translation of typical val- idat