3 papers
quant-ph2026
Formal Modeling and Verification of Grover's Algorithm
H. Sun, Z. Shi, S. Chen +5
Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsort…
cs.RO2023
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra
Yingjie Wu, Guohui Wang, Shanyan Chen +3
Cooperative robots can significantly assist people in their productive activities, improving the quality of their works. Collision detection is vital to ensure the safe and stable…
cs.PL2021
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics
Ximeng Li, Qianying Zhang, Guohui Wang +2
A reliable technique for deductive program verification should be proven sound with respect to the semantics of the programming language. For each different language, the construct…