Salty-A Domain Specific Language for GR(1) Specifications and Designs.

Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu

Browse the full ICRA paper archive.