Alert button

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

Mar 26, 2021
Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu

Figure 1 for Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
Figure 2 for Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
Figure 3 for Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
Figure 4 for Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: