StarL: Towards a unified framework for programming, simulating and verifying distributed robotic systems

Yixiao Lin, Sayan Mitra

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'StarL: Towards a unified framework for programming, simulating and verifying distributed robotic systems'. Together they form a unique fingerprint.

Engineering & Materials Science