Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications

Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2

We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…