TY  - RPRT
TI  - Runtime enforcement of reactive systems using synchronous enforcers
AU  - Srinivas Pinisetty
AU  - Partha S Roop
AU  - Steven Smyth
AU  - Stavros Tripakis
AU  - Reinhard von Hanxleden
PY  - 2016
UR  - https://arxiv.org/abs/1612.05030
ID  - 1612.05030
ER  -