@INPROCEEDINGS{8102246,
  author={Bauer, Matthew S. and Mathur, Umang and Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh},
  booktitle={2017 Formal Methods in Computer Aided Design (FMCAD)}, 
  title={Exact quantitative probabilistic model checking through rational search}, 
  year={2017},
  volume={},
  number={},
  pages={92-99},
  keywords={Model checking;Sensors;Probabilistic logic;Computational modeling;Markov processes;Tools;Approximation algorithms},
  doi={10.23919/FMCAD.2017.8102246}}