Identifying Culprits When Probabilistic Verification Fails

Musliner, David J., Woods, Timothy, and Maraist, John. Identifying Culprits When Probabilistic Verification Fails. Proceedings of the ASME Computers and Information in Engineering Conference, Chicago, IL (August 2012).