Decomposing controller synthesis for safety specifications
| Title | Decomposing controller synthesis for safety specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Dallal, Eric, Tabuada, Paulo |
| Conference Name | Decision and Control (CDC), 2016 IEEE 55th Conference on |
| Publisher | IEEE |
| Keywords | 1552668 |
| URL | http://ieeexplore.ieee.org/abstract/document/7799148/ |
| Citation Key | dallal2016decomposing |