Title of Paper:Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng and Zhibin Li. A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-Time Markov Chains. Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). Article 18, pages 1-12. ACM, 2024.
Hits:
Translation or Not:no
Pre One: Hui Jiang, Diankiang Li, Yuxin Deng and Ming Xu. A Pattern Matching-Based Framework for Quantum Circuit Rewriting. Journal of Computer Science and Technology 39(6): 1312-1327, 2024.
Next One:Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng and Zhi-bin Li. Termination and Universal Termination Problems for Nondeterministic Quantum Programs. ACM Transactions on Software Engineering and Methodology, Vol. 33, No. 8, Article 219, 2024.
Open time:..
The Last Update Time: ..
