@Inproceedings{EPTCS305.7, author = {Pandya, Paritosh K. and Wakankar, Amol}, year = {2019}, title = {Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields}, editor = {Leroux, J\'er\^ome and Raskin, Jean-Francois}, booktitle = {{\rm Proceedings Tenth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Bordeaux, France, 2-3rd September 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {305}, publisher = {Open Publishing Association}, pages = {91-106}, doi = {10.4204/EPTCS.305.7}, }