Abstraction for model checking robot behaviour

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/


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
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