research
∙
03/26/2021
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
In many applications, the integrals and derivatives of signals carry val...
share
research
∙
07/23/2020
