Petter Nilsson, Necmiye Ozay. Incremental synthesis of switching protocols via abstraction refinement. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 6246-6253, IEEE, 2014. [doi]
@inproceedings{NilssonO14, title = {Incremental synthesis of switching protocols via abstraction refinement}, author = {Petter Nilsson and Necmiye Ozay}, year = {2014}, doi = {10.1109/CDC.2014.7040368}, url = {http://dx.doi.org/10.1109/CDC.2014.7040368}, researchr = {https://researchr.org/publication/NilssonO14}, cites = {0}, citedby = {0}, pages = {6246-6253}, booktitle = {53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014}, publisher = {IEEE}, isbn = {978-1-4799-7746-8}, }