Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.