Verification and validation of quantum systems
The goal of this thesis is to explore the extent and limitations of existing techniques for the verification and validation of quantum systems, and to develop new techniques that are: (i) more efficient; (ii) mathematically rigorous; and (iii) practically implementable. We give a survey of contempor...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Bristol
2018
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.761155 |