By the same authors

Automatic Property Checking of Robotic Applications

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

Published copy (DOI)



Publication details

Title of host publicationIEEE/RSJ International Conference on Intelligent Robots and Systems
DatePublished - 14 Dec 2017
Number of pages8
Original languageEnglish

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