2 papers
cs.RO2026
Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair
Tianhao Wu, Yiwei Lyu
Temporal logic is a formal language for reasoning about system behaviors over time. Signal temporal logic (STL), in particular, has been used to encode spatio-temporal requirements…
cs.RO2026
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…