A modal logic analysis of a line-following robot

Battle, S. and Thompson, M. (2017) A modal logic analysis of a line-following robot. In: Lewis, P. R. , Headleand, C. J. , Battle, S. and Ritsos, P. D. , eds. (2017) Artificial Life and Intelligent Agents. ALIA 2016. (732) Springer, pp. 42-55. ISBN 9783319904177 Available from: http://eprints.uwe.ac.uk/32345

Full text not available from this repository.


The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.

Item Type: Book Section
Uncontrolled Keywords: Kripke model, modal logic, qualitative simulation, stability
Faculty/Department: Faculty of Environment and Technology > Department of Computer Science and Creative Technologies
Depositing User: Dr S. Battle
Date Deposited: 10 Jul 2017 11:08
Last Modified: 17 Jan 2019 11:02
URI: http://eprints.uwe.ac.uk/id/eprint/32345


Activity Overview
Origin of downloads

Additional statistics for this repository are available via IRStats2

Actions (login required)

View Item View Item