Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement

Tianhao Wu, Yiwei Lyu

Signal Temporal Logic (STL) is expressive formal language that specifies spatio-temporal requirements in robotics. Its quantitative robustness semantics can be easily integrated wi…