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

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

Published in: ICRA (2019)

Keyphrases

design requirements
high level
design space
formal specification
delay insensitive
database
design principles
description language
functional requirements
decision making
case study
evolutionary algorithm
specification language
concurrent systems
creative design
written in natural language