A Summary of Formal Specification and Verification of Autonomous Robotic Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Pages538-541
Number of pages4
DOIs
Publication statusPublished - 22 Nov 2019

Cite this