TY  - RPRT
TI  - Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
AU  - Paritosh K. Pandya
AU  - Amol Wakankar
PY  - 2019
DO  - 10.4204/eptcs.305.7
UR  - https://arxiv.org/abs/1909.08541
ID  - 1909.08541
ER  -