10 citations · 18 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.AI2021★ 2 cited
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao +2
Dealing with planning problems with both logical relations and numeric changes in real-world dynamic environments is challenging. Existing numeric planning systems for the problem…
cs.SE2021
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song +3
The boundary conditions (BCs) have shown great potential in requirements engineering because a BC captures the particular combination of circumstances, i.e., divergence, in which t…
cs.SE2021
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Hongzhen Zhong, Hai Wan, Weilin Luo +3
In goal-oriented requirements engineering, goal conflict identification is of fundamental importance for requirements analysis. The task aims to find the feasible situations which…