Personensuche
X
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
3
Detecting Violations of Differential Privacy for Quantum Al..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
A Probabilistic Logic for Verifying Continuous-time Markov ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Verifying Fairness in Quantum Machine Learning:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
Robustness Verification of Quantum Classifiers:
, In:
?
Lecture Notes in Computer Science; Symposium on Real-Time and Hybrid Systems ,
11