Propositional Dynamic Logic for Higher-Order Functional Programs. - Yuki Satake; Hiroshi Unno 001 (CAV (1), 2018)

Relatively complete refinement type system for verification of higher-order non-deterministic programs. - Hiroshi Unno 001; Yuki Satake; Tachio Terauchi (Proc. ACM Program. Lang., 2018)

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)

Probabilistic Inference for Predicate Constraint Satisfaction. - Yuki Satake; Hiroshi Unno 001; Hinata Yanagi (AAAI, 2020)

Program Verification via Predicate Constraint Satisfiability Modulo Theories. - Hiroshi Unno 001; Yuki Satake; Tachio Terauchi; Eric Koskinen (CoRR, 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)

Pitch-Up Motion Mechanism With Heat Welding by Soft Inflatable Growing Robot. - Yuki Satake; Hiroyuki Ishii (IEEE Robotics Autom. Lett., 2022)

Matrix equation representation of convolution equation and its unique solvability. - Yuki Satake; Tomohiro Sogabe; Tomoya Kemmochi; Shao-Liang Zhang (CoRR, 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., 2023)

Novel Design of a Pneumatic Longitudinal Actuator for Both Extending and Contracting Motions. - Yasuka Tago; Yuki Satake; Hiroyuki Ishii (IEEE Robotics Autom. Lett., 2024)

A Novel Soft Climbing Robot With Pneumatic Extendible Arms. - Yasuka Tago; Yuki Satake; Hiroyuki Ishii (IEEE Robotics Autom. Lett., 2024)

On-Demand Branching Mechanism Using Heat Cutting for Soft Inflatable Growing Robot. - Yuki Satake; Hiroyuki Ishii; Shinichi Hirai (IEEE Robotics Autom. Lett., 2024)

Condition Number Estimation in a Solution Process of a Large Sparse Symmetric Linear System. - Yuya Kudo; Yuki Satake; Takeshi Fukaya; Takeshi Iwashita (J. Inf. Process., 2025)