Spatio-Temporal Reasoning for Control of Cyber-physical Systems

Workshop co-located with CDC'19, December 10th, Nice, France