Formal Verification of Noisy Quantum Reinforcement Learning Policies
Este artículo presenta QVerifier, un método de verificación formal que utiliza la comprobación de modelos probabilísticos para analizar rigurosamente la seguridad y la resiliencia al ruido de las políticas de Aprendizaje por Refuerzo Cuántico entrenadas antes de su despliegue, abordando la falta crítica de herramientas sistemáticas para garantizar su fiabilidad ante las incertidumbres del hardware cuántico.