research
∙
09/09/2023
Detecting Violations of Differential Privacy for Quantum Algorithms
Quantum algorithms for solving a wide range of practical problems have b...
share
research
∙
07/22/2022
Verifying Fairness in Quantum Machine Learning
Due to the beyond-classical capability of quantum computing, quantum mac...
research
∙
03/25/2022
New Quantum Algorithms for Computing Quantum Entropies and Distances
We propose a series of quantum algorithms for computing a wide range of ...
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...
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
∙
08/17/2020
Robustness Verification of Quantum Machine Learning
Several important models of machine learning algorithms have been succes...
research
∙
04/17/2020
Verification of Continuous-time Markov Chains
In this paper, we fill the long-standing gap in the field of the verific...
research
∙
04/08/2019
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions
In the 1970's, Lovász built a bridge between graphs and alternating matr...
research
∙
02/08/2019
Model Checking Applied to Quantum Physics
Model checking has been successfully applied to verification of computer...
research
∙
10/26/2017