इसका टेक्स्ट मैसेज भेजे: Advances and challenges of quantitative verification and synthesis for cyber-physical systems