Idress Husien, Nicolas Berthier, Sven Schewe. A hot method for synthesising cool controllers. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 122-131, ACM, 2017. [doi]
@inproceedings{HusienBS17,
title = {A hot method for synthesising cool controllers},
author = {Idress Husien and Nicolas Berthier and Sven Schewe},
year = {2017},
doi = {10.1145/3092282.3092299},
url = {http://doi.acm.org/10.1145/3092282.3092299},
researchr = {https://researchr.org/publication/HusienBS17},
cites = {0},
citedby = {0},
pages = {122-131},
booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017},
editor = {Hakan Erdogmus and Klaus Havelund},
publisher = {ACM},
isbn = {978-1-4503-5077-8},
}