A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs

Hui Jiang, Jianling Fu, Ming Xu +2

Reachability analysis plays a central role in system design and verification. The reachability problem, denoted ${◊}^J\Phi$, asks whether the system will meet the property $\Phi$…