Yuki Satake

According to our database, Yuki Satake authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Novel Design of a Pneumatic Longitudinal Actuator for Both Extending and Contracting Motions.

Yasuka Tago, Yuki Satake, Hiroyuki Ishii

IEEE Robotics Autom. Lett., February, 2024

2023

Path Planning Method With Constant Bending Angle Constraint for Soft Growing Robot Using Heat Welding Mechanism.

Yuki Satake, Hiroyuki Ishii

IEEE Robotics Autom. Lett., May, 2023

Matrix equation representation of convolution equation and its unique solvability.

Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang

CoRR, 2023

2022

Pitch-Up Motion Mechanism With Heat Welding by Soft Inflatable Growing Robot.

Yuki Satake, Hiroyuki Ishii

IEEE Robotics Autom. Lett., 2022

2020

On a transformation of the ∗-congruence Sylvester equation for the least squares optimization.

Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang

Optim. Methods Softw., 2020

Program Verification via Predicate Constraint Satisfiability Modulo Theories.

Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen

CoRR, 2020

Probabilistic Inference for Predicate Constraint Satisfaction.

Yuki Satake, Hiroshi Unno, Hinata Yanagi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Relation between the T-congruence Sylvester equation and the generalized Sylvester equation.

Yuki Satake, Masaya Oozawa, Tomohiro Sogabe, Yuto Miyatake, Tomoya Kemmochi, Shao-Liang Zhang

Appl. Math. Lett., 2019

2018

Relatively complete refinement type system for verification of higher-order non-deterministic programs.

Hiroshi Unno, Yuki Satake, Tachio Terauchi

Proc. ACM Program. Lang., 2018

Propositional Dynamic Logic for Higher-Order Functional Programs.

Yuki Satake, Hiroshi Unno

Proceedings of the Computer Aided Verification - 30th International Conference, 2018