Modeling non-deterministic quantum programs for model checking - Kierner, Kaleb (Verfasser); Gehnen, Christina (Verfasser); Katoen, Joost-Pieter (Akademischer Betreuer); Unruh, Dominique (Akademischer Betreuer) (Aachen. RWTH Aachen University, 2025, 2025)