Runtime enforcement of reactive systems using synchronous enforcers
| Title | Runtime enforcement of reactive systems using synchronous enforcers |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden |
| Conference Name | Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/3092282.3092291 |
| DOI | 10.1145/3092282.3092291 |
| Citation Key | DBLP:conf/spin/PinisettyRSTH17 |