Lee Pike

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

Designing robot controllers that correctly react to changes in the environment is a time-consuming and error-prone process. An alternative is to use “correct-by-construction” synthesis approaches to automatically generate controller designs from high-level specifications. In particular, Generalized…