Kazumune Hashimoto | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Toshiyuki Ohtsuka
8 publications
Masako Kishida
4 publications
Yoshinari Takayama
2 publications
Wataru Hashimoto
1 publication
Shigemasa Takai
1 publication

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. ∙

research

∙ 12/10/2022

Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks

In this paper, we propose a control synthesis method for signal temporal...

0 Wataru Hashimoto, et al. ∙

Success!

An error occurred