Synthesis of Control Algorithms for Autonomous Vehicles through Automatic Programming. - Henrik Berg; Roland Olsson 001; Per-Olav Rusås; Morgan Jakobsen (ICNC (4), 2009)

Automated synthesis of control algorithms from first principles. - Henrik Berg; Roland Olsson 001; Per-Olav Rusås; Morgan Jakobsen (IROS, 2009)