1. Introduction

2. Notations, Preliminaries, and Models

3. Stochastic Similarity Relations for Abstractions

6. Discretization-Free Verification & Synthesis

7. Temporal Logic Verification and Synthesis

8. Compositional Techniques

10. SHS Simulation and Statistical Model Checking

12. Directions for Open Research

13. Closing Discussion