docs: 📝 add assertion compilation arxiv reference

Author: DRovara

README.md

@@ -68,6 +68,10 @@ D. Rovara, L. Burgholzer, and R. Wille, "[A Framework for Debugging Quantum Prog
 [![a](https://img.shields.io/static/v1?label=arXiv&message=2412.14252&color=inactive&style=flat-square)](https://arxiv.org/abs/2412.14252)
 D. Rovara, L. Burgholzer, and R. Wille, "[Automatically Refining Assertions for Efficient Debugging of Quantum Programs](https://arxiv.org/abs/2412.14252)," arXiv, 2024
 
+[![a](https://img.shields.io/static/v1?label=arXiv&message=2505.03885&color=inactive&style=flat-square)](https://arxiv.org/abs/2505.03885)
+D. Rovara, L. Burgholzer, and R. Wille, "[A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers
+](https://arxiv.org/abs/2505.03885)," arXiv, 2025
+
 ## Acknowledgements
 
 The Munich Quantum Toolkit has been supported by the European

docs/Publications.rst

@@ -12,7 +12,8 @@ If you use *MQT Debugger* in your work, we would appreciate if you cited: :cite:
 Furthermore, if you use any of the particular algorithms such as
 
 - diagnostics and error cause analysis :cite:labelpar:`rovara2024debugging`
-- assertion refinembent (moving or creating assertions) :cite:labelpar:`rovara2024assertionrefinement`
+- assertion refinement (moving or creating assertions) :cite:labelpar:`rovara2024assertionrefinement`
+- runtime verification on real quantum devices :cite:labelpar:`rovara2025runtimeverification`
 
 please consider citing their respective papers as well. A full list of related papers is given below.
 

docs/RuntimeVerification.rst

@@ -7,9 +7,7 @@ After running the program and collecting measurement outcomes, the results can b
 
 Translating assertion programs into executable slices is done by the :cpp:member:`SimulationState::compile <SimulationStateStruct::compile>` method.
 However, python bindings and a full python framework are available to automate this process. The remainder of this document will focus on the python framework and its usage.
-The functionalities of this framework devised as part of a scientific paper that is currently under review.
-
-.. For further information, please refer to :cite:labelpar:`rovara2025runtimeverification`.
+For further information, please refer to :cite:labelpar:`rovara2025runtimeverification`.
 
 Run Preparation
 ###############

docs/refs.bib

@@ -13,3 +13,11 @@ @MISC{rovara2024assertionrefinement
 	EPRINT      = {2412.14252},
 	EPRINTTYPE  = {arxiv},
 }
+
+@MISC{rovara2025runtimeverification,
+	AUTHOR      = {Damian Rovara and Lukas Burgholzer and Robert Wille},
+	TITLE       = {A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers},
+	YEAR        = {2025},
+	EPRINT      = {2505.03885},
+	EPRINTTYPE  = {arxiv},
+}