Model Checking Quantum Continuous-Time Markov Chains

Ming Xu 0010, Jingyi Mei, Ji Guan, Nengkun Yu. Model Checking Quantum Continuous-Time Markov Chains. In Serge Haddad, Daniele Varacca, editors, 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. Volume 203 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.