Incremental synthesis of switching protocols via abstraction refinement
| Title | Incremental synthesis of switching protocols via abstraction refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Nilsson, Petter, Ozay, Necmiye |
| Conference Name | Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on |
| Publisher | IEEE |
| Keywords | 1552668 |
| URL | http://web.eecs.umich.edu/ necmiye/pubs/NilssonO_cdc14.pdf |
| Citation Key | nilsson2014incremental |