GitHub repository: schasins/reactive-motion-planning-synthesis
Primary language: Slash
Created: 2015-04-16T23:01:44Z
Description: Using SyGuS to synthesize reactive motion planners.