Code Generation from Declarative Models of Robotics Solvers. - Marco Frigerio; Enea Scioni; Pawel Pazderski; Herman Bruyninckx (IRC, 2019)