Static and dynamic a... Theses on offer Static and dynamic a...

Master thesis

Formale Verifikation relevanter Eigenschaften mittels CPN-Modellierung autonomer, kooperativer Roboter

(Original Title:Formale Verifikation relevanter Eigenschaften mittels CPN-Modellierung autonomer, kooperativer Roboter)



Author: Verena Held

Tutor: Dr.-Ing. Matthias Meitner