Login / Signup
Yoshinari Takayama
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Model Checker
Concurrent Systems
Formal Specification Language
Convex Optimization
Top Venues
CoRR
CDC
</>
Publications
</>
Yoshinari Takayama
,
Kazumune Hashimoto
,
Toshiyuki Ohtsuka
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.
CDC
(2023)
Yoshinari Takayama
,
Kazumune Hashimoto
,
Toshiyuki Ohtsuka
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications.
CoRR
(2023)
Yoshinari Takayama
,
Kazumune Hashimoto
,
Toshiyuki Ohtsuka
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.
CoRR
(2023)
Yoshinari Takayama
,
Kenta Hoshino
,
Toshiyuki Ohtsuka
Algebraic Approach to Global Finite-Time Stabilization of Multi-Input Polynomial Systems.
CDC
(2022)