research
∙
05/16/2023
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
Signal Temporal Logic (STL) is capable of expressing a broad range of te...
research
∙
04/04/2023