Marco Antoniotti
First name(s): Marco
Last name(s): Antoniotti

Publications of Marco Antoniotti sorted by journal and type

Publications of type Inproceedings


Marco Antoniotti and Bud Mishra, Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers, in: Proceedings of the IEEE Conference on Robotics and Automation (ICRA), pages 1441--1446, 1995