Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers.

Marco Antoniotti, Bud Mishra

Browse the full ICRA paper archive.