Yuki Satake

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Functional Programs

Satisfiability Modulo Theories

Top Venues

IEEE Robotics Autom. Lett.

Proc. ACM Program. Lang.

Appl. Math. Lett.

Publications

Yasuka Tago, Yuki Satake, Hiroyuki Ishii
Novel Design of a Pneumatic Longitudinal Actuator for Both Extending and Contracting Motions. IEEE Robotics Autom. Lett. 9 (2) (2024)
Yuki Satake, Hiroyuki Ishii
Path Planning Method With Constant Bending Angle Constraint for Soft Growing Robot Using Heat Welding Mechanism. IEEE Robotics Autom. Lett. 8 (5) (2023)
Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang
Matrix equation representation of convolution equation and its unique solvability. CoRR (2023)
Yuki Satake, Hiroyuki Ishii
Pitch-Up Motion Mechanism With Heat Welding by Soft Inflatable Growing Robot. IEEE Robotics Autom. Lett. 7 (2) (2022)
Yuki Satake, Hiroshi Unno, Hinata Yanagi
Probabilistic Inference for Predicate Constraint Satisfaction. AAAI (2020)
Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang
On a transformation of the ∗-congruence Sylvester equation for the least squares optimization. Optim. Methods Softw. 35 (5) (2020)
Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen
Program Verification via Predicate Constraint Satisfiability Modulo Theories. CoRR (2020)
Yuki Satake, Masaya Oozawa, Tomohiro Sogabe, Yuto Miyatake, Tomoya Kemmochi, Shao-Liang Zhang
Relation between the T-congruence Sylvester equation and the generalized Sylvester equation. Appl. Math. Lett. 96 (2019)
Yuki Satake, Hiroshi Unno
Propositional Dynamic Logic for Higher-Order Functional Programs. CAV (1) (2018)
Hiroshi Unno, Yuki Satake, Tachio Terauchi
Relatively complete refinement type system for verification of higher-order non-deterministic programs. Proc. ACM Program. Lang. 2 (POPL) (2018)