research
∙
02/11/2022
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Verifying quantum systems has attracted a lot of interest in the last de...
share
research
∙
05/02/2021
Model Checking Quantum Continuous-Time Markov Chains
Verifying quantum systems has attracted a lot of interests in the last d...
research
∙
01/13/2021
