Control Synthesis using Signal Temporal Logic Specifications with
Integral and Derivative Predicates

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates

26 March 2021

Ali Tevfik Buyukkocak

Yasin Yazıcıoğlu

ArXiv (abs)PDF HTML

Papers citing "Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates"

Title
No papers