Kaitlin N. Smith, Michael A. Taylor, Anna A. Carroll, Theodore W. Manikas, Mitchell A. Thornton. Automated Markov-chain based analysis for large state spaces. In 2017 Annual IEEE International Systems Conference, SysCon 2017, Montreal, QC, Canada, April 24-27, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.