@Inproceedings{EPTCS272.6, author = {Khaled, Mahmoud and Rungger, Matthias and Zamani, Majid}, year = {2018}, title = {SENSE: Abstraction-Based Synthesis of Networked Control Systems}, editor = {Bliudze, Simon and Bensalem, Saddek}, booktitle = {{\rm Proceedings of the 1st International Workshop on} Methods and Tools for Rigorous System Design, {\rm Thessaloniki, Greece, 15th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {272}, publisher = {Open Publishing Association}, pages = {65-78}, doi = {10.4204/EPTCS.272.6}, }