Synthesizing a Lego forklift controller in GR(1): A case study

Shahar Maoz, Jan Oliver Ringert

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Synthesizing a Lego forklift controller in GR(1): A case study'. Together they form a unique fingerprint.

Engineering & Materials Science