Jianling Fu

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Controller Synthesis

Markov Decision Process

Transition Matrix

Top Venues

Theor. Comput. Sci.

Inf. Process. Lett.

Publications

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR (2024)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC (2024)
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. 180 (2023)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR (2023)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935 (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913 (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR (2021)