Title: Automatic synthesis of a swing-up controller for the pendulum
First published: 2003