Publications of Bud Mishra
1995
| and , 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 |