Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications | IEEE Conference Publication | IEEE Xplore