"Synthesizing a Lego Forklift Controller in GR(1): A Case Study."

Shahar Maoz, Jan Oliver Ringert (2015)

Details and statistics

DOI: 10.4204/EPTCS.202.5

access: open

type: Conference or Workshop Paper

metadata version: 2019-10-19