1. OPUS at UTS

Search

Current filters:
Add Filter:

Results

Customise results display
Item hits:
Issue DateTitleAuthor(s)
2021Measuring the constrained reachability in quantum Markov chainsXu, M; Huang, CC; Feng, Y
2021-03-20Optimal Policies for Quantum Markov Decision ProcessesYing, M-S; Feng, Y; Ying, S-G
2021-12-01Symbolic Reasoning About Quantum Circuits in CoqShi, WJ; Cao, QX; Deng, YX; Jiang, HR; Feng, Y
2021-12-01Fuzzy Coefficient of Impulsive Intensity in a Nonlinear Impulsive Control SystemOnasanya, BO; Wen, S; Feng, Y; Zhang, W; Xiong, J
2021On fuzzy alternate control systemsOnasanya, BO; Feng, Y; Zhang, W; Wen, S; Tang, N
2022-03-29Verification of Distributed Quantum ProgramsFeng, Y; Li, S; Ying, M
2017Quantum Privacy-Preserving Data Analytics.Ying, S; Ying, M; Feng, Y
2018-01-01Verification of Quantum ProgramsFeng, Y; Ying, MS
2021-01-01Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited SearchLi, S; Zhou, X; Feng, Y
2017-11-01Precisely deciding CSL formulas through approximate model checking for CTMCsFeng, Y; Zhang, L
Results 71-80 of 119 (Search time: 0.186 seconds).

Discover