Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
Este artículo revisita las precondiciones débiles cuánticas mediante la introducción de un nuevo marco de pre-expectativa para el análisis del tiempo de ejecución esperado que permite razonar sobre programas cuánticos con recompensas y tiempos de ejecución esperados potencialmente infinitos sin requerir un límite superior.