1 citations · 1 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
A Failed Proof Can Yield a Useful Test
Li Huang, Bertrand Meyer
A successful automated program proof is, in software verification, the ultimate triumph. In practice, however, the road to such success is paved with many failed proof attempts. Un…
cs.RO2022★ 1 cited
Efficient Search of the k Shortest Non-Homotopic Paths by Eliminating Non-k-Optimal Topologies
Tong Yang, Li Huang, Yue Wang +1
An efficient algorithm to solve the shortest non-homotopic path planning (-SNPP) problem in a 2D environment is proposed in this paper. Motivated by accelerating the ineffic…