Automated synthesis of control algorithms from first principles.

Henrik Berg, Roland Olsson, Per-Olav Russ, Morgan Jakobsen

Browse the full IROS paper archive.