[IEEE Proceedings of the 45th IEEE Conference on Decision...

[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - Translating Temporal Logic to Controller Specifications

Fainekos, Georgios E., Loizou, Savvas G., Pappas, George J.

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Рік:

2006

Мова:

english

DOI:

10.1109/cdc.2006.377825

Файл:

PDF, 8.62 MB

english, 2006

Виконується конвертація в

Конвертація в не вдалась