By the same authors

Modelling and Verification of Timed Robotic Controllers

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



Publication details

Title of host publicationIntegrated Formal Methods
DatePublished - 1 Sep 2017
Number of pages16
EditorsN. Polikarpova, S. Schneider
Original languageUndefined/Unknown
ISBN (Electronic)9783319668451
ISBN (Print)9783319668444

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Bibliographical note

© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Research outputs

  • RoboTool

    Research output: Non-textual formSoftware

Discover related content

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

View graph of relations