Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
| Title | Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Viorel Preoteasa, Stavros Tripakis |
| Conference Name | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/2933575.2934503 |
| DOI | 10.1145/2933575.2934503 |
| Citation Key | DBLP:conf/lics/PreoteasaT16 |