Direct Data-Driven Control Synthesis for Linear Systems with Signal Temporal Logic Specifications

This work develops a direct data-driven approach to automatically synthesize a controller for linear systems that satisfies a given signal temporal logic specification, without requiring an explicit model of the system.