Author of the publication

An algebraic method to fidelity-based model checking over quantum Markov chains.

, , , and . Theor. Comput. Sci., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning., and . IEEE Trans. Image Process., (2023)Model checking QCTL plus on quantum Markov chains., , , and . Theor. Comput. Sci., (2022)Generating Permission-Based Security Policies., , , and . DSA, page 1-7. IEEE, (2018)Qsimulation V2.0: An Optimized Quantum Simulator., , , and . ICTAC, volume 12545 of Lecture Notes in Computer Science, page 307-316. Springer, (2020)A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs., , , , and . CoRR, (2023)Encodability Criteria for Quantum Based Systems., , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 151-169. Springer, (2022)The Expansion Methods of Inception and Its Application., , , and . Symmetry, 16 (4): 494 (April 2024)Simulations for Multi-Agent Systems with Imperfect Information., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 138-153. Springer, (2019)ResMatch: Residual Attention Learning for Feature Matching., , , , and . AAAI, page 1501-1509. AAAI Press, (2024)The Buffered π-Calculus: A Model for Concurrent Languages, , , and . CoRR, (2012)