RoboWorld: Where Can My Robot Work?

Ana Cavalcanti*, James Baxter, Gustavo Carvalho

*Corresponding author for this work

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


The behaviour of a robot affects and is affected by its environment. So, many of the expected and desirable properties of a robotic system depend on properties of its environment. While a complete model of that environment is very difficult, if not impossible, to construct, we can realistically capture assumptions about it. In this paper, we present RoboWorld, a controlled natural language with a process algebraic semantics that can be used to define (a) the operational requirements of a robot, and (b) how the robot interacts with its environment. RoboWorld is part of the RoboStar framework of domain-specific languages that support proof, simulation, and testing of robotic systems. RoboWorld plays a central role in all these forms of verification.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings
EditorsRadu Calinescu, Corina S. Pasareanu
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages20
ISBN (Electronic)9783030921248
ISBN (Print)9783030921231
Publication statusPublished - 3 Dec 2021
Event19th International Conference on Software Engineering and Formal Methods, SEFM 2021 - Virtual Online
Duration: 6 Dec 202110 Dec 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13085 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference19th International Conference on Software Engineering and Formal Methods, SEFM 2021
CityVirtual Online

Bibliographical note

Funding Information:
Acknowledgements. The work reported here is funded by the Royal Academy of Engineering grant CiET1718/45, UK EPSRC grants EP/M025756/1 and EP/R025479/1, and UKRI TAS Verifiability Node EP/V026801/1. We are grateful to RoboStar for various discussions on RoboWorld.

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Cite this