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: Artificial Life and Intelligent Agents Symposium (ALIA) 2016, Aston University, Birmingham, 14-15 June 2016. [In Press] 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:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Kripke model, modal logic, qualitative simulation, stability
Faculty/Department:Faculty of Environment and Technology > Department of Computer Science and Creative Technologies
ID Code:32345
Deposited By: Dr S. Battle
Deposited On:10 Jul 2017 11:08
Last Modified:11 Jul 2017 06:17

Request a change to this item

Document Downloads

Total Document Downloads

More statistics for this item...