Kirwan, R. and Miller, A. (2011) Abstraction for model checking robot behaviour. In: Kirwan, R. and Miller, A. (eds.) Proceedings of the 18th Workshop on Automated Reasoning ARW 2011, Glasgow, UK, 11-12 Apr 2011. Department of Computing Science, University of Glasgow: Glasgow, UK, pp. 1-2.
Full text not currently available from Enlighten.
Publisher's URL: http://www.dcs.gla.ac.uk/arw2011/
Abstract
We use model checking to verify properties of real systems. These systems consist of robots interacting with obstacles within an environment and learning to avoid collision. We describe an approach to abstract environments so that all feasible scenarios are represented, and properties are still applicable. The abstraction is necessary for the verification (and ultimately, comparison) of learning algorithms and, although currently applied to Promela specifications, is applicable to other specification formalisms.
Item Type: | Book Sections |
---|---|
Status: | Published |
Glasgow Author(s) Enlighten ID: | Miller, Professor Alice |
Authors: | Kirwan, R., and Miller, A. |
College/School: | College of Science and Engineering > School of Computing Science |
Publisher: | Department of Computing Science, University of Glasgow |
University Staff: Request a correction | Enlighten Editors: Update this record