arXiv:1902.03218 [quant-ph]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords quantum physics, model checking, actual quantum physical problems, linear-time temporal logics, quantum markov chains Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset