Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

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

Published copy (DOI)



Publication details

Title of host publicationRigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings
DatePublished - 22 May 2020
Number of pages3
EditorsAlexander Raschke, Dominique Méry, Frank Houdek
Original languageEnglish
ISBN (Print)9783030480769

Publication series

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


The RoboStar framework supports model-based engineering of robotic applications.

Bibliographical note

Funding Information:
Acknowledgements. The work mentioned is a collaboration with colleagues at the RoboStar group, in particular, Alvaro Miyazawa and Sharar Ahmadi. The author’s work is funded by the Royal Academy of Engineering grant CiET1718/45, and UK EPSRC grants EP/M025756/1 and EP/R025479/1. No new primary data was created as part of the study reported here.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations