Document is current
Any future updates will be listed below
-
Authors
Song, Qunying
Bensoussan, Avner
Mousavi, Mohammad Reza
-
Funding
Funding for this research was provided by:
Knut och Alice Wallenbergs Stiftelse
EPSRC Model-Driven Engineering Network
UKRI Trustworthy Autonomous Systems Node in Verifiability (EP/V026801/2)
EPSRC grant on Verified Simulation for Large Quantum Systems (EP/Y005244/1)
Lund University
- License Information
-
More Information
Article History
Received: 11 May 2024
Accepted: 4 February 2025
First Online: 9 April 2025
Declarations
:
: There is no financial or non-financial interests that are directly or indirectly related to the work submitted for publication.
