@inproceeding{abatereachability,
  title={Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision},
  author={Abate, Alessandro and Bortolussi, Luca and Kwiatkowska, Marta and Cardelli, Luca and Ceska, Milan and Laurenti, Luca},
  booktitle={Hybrid Systems: Computation and Control, 20th ACM International Conference},
  year={2017}
}