Publications of Marco Antoniotti sorted by recency
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 | and ,