Yoshinari Takayama | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Toshiyuki Ohtsuka
8 publications
Kazumune Hashimoto
3 publications

research

∙ 05/16/2023

STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

Signal Temporal Logic (STL) is capable of expressing a broad range of te...

0 Yoshinari Takayama, et al. ∙

research

∙ 04/04/2023

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

This study considers the control problem with signal temporal logic (STL...

0 Yoshinari Takayama, et al. ∙