A modal logic analysis of a line-following robot

Steve Battle, Matthew Thompson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationArtificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers
Place of PublicationCham, Switzerland
PublisherSpringer
Pages42-55
Number of pages14
ISBN (Print)9783319904177
DOIs
Publication statusPublished - 2018
Event2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016 - Birmingham, UK United Kingdom
Duration: 14 Jun 201615 Jun 2016

Publication series

NameCommunications in Computer and Information Science
Volume732
ISSN (Print)1865-0929

Conference

Conference2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016
CountryUK United Kingdom
CityBirmingham
Period14/06/1615/06/16

Keywords

  • Kripke model
  • Modal logic
  • Robotics

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'A modal logic analysis of a line-following robot'. Together they form a unique fingerprint.

  • Cite this

    Battle, S., & Thompson, M. (2018). A modal logic analysis of a line-following robot. In Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers (pp. 42-55). (Communications in Computer and Information Science; Vol. 732). Springer. https://doi.org/10.1007/978-3-319-90418-4_4