Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers
| Type of publication: | Inproceedings |
| Citation: | antoniotti1995discrete |
| Booktitle: | Proceedings of the IEEE Conference on Robotics and Automation (ICRA) |
| Volume: | 2 |
| Year: | 1995 |
| Pages: | 1441--1446 |
| Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|