مؤتمر
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment
| العنوان: | Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment |
|---|---|
| المؤلفون: | Bai, Y., Mallik, K., Schmuck, A.-K., Zufferey, D., Majumdar, R. |
| المصدر: | 2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :6261-6268 Dec, 2019 |
| Relation: | 2019 IEEE 58th Conference on Decision and Control (CDC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728113982 9781728113975 |
|---|---|
| تدمد: | 25762370 |
| DOI: | 10.1109/CDC40024.2019.9030141 |