External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Markov-chain based analysis for large state spaces

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]

Authors

Kaitlin N. Smith

This author has not been identified. Look up 'Kaitlin N. Smith' in Google

Michael A. Taylor

This author has not been identified. Look up 'Michael A. Taylor' in Google

Anna A. Carroll

This author has not been identified. Look up 'Anna A. Carroll' in Google

Theodore W. Manikas

This author has not been identified. Look up 'Theodore W. Manikas' in Google

Mitchell A. Thornton

This author has not been identified. Look up 'Mitchell A. Thornton' in Google
runs on