Yuki Satake
Orcid: 0000-0002-3262-864X
According to our database1,
Yuki Satake
authored at least 12 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
3
2
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Robotics Autom. Lett., November, 2024
IEEE Robotics Autom. Lett., October, 2024
Novel Design of a Pneumatic Longitudinal Actuator for Both Extending and Contracting Motions.
IEEE Robotics Autom. Lett., February, 2024
2023
Path Planning Method With Constant Bending Angle Constraint for Soft Growing Robot Using Heat Welding Mechanism.
IEEE Robotics Autom. Lett., May, 2023
CoRR, 2023
2022
IEEE Robotics Autom. Lett., 2022
2020
On a transformation of the ∗-congruence Sylvester equation for the least squares optimization.
Optim. Methods Softw., 2020
CoRR, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Relation between the T-congruence Sylvester equation and the generalized Sylvester equation.
Appl. Math. Lett., 2019
2018
Relatively complete refinement type system for verification of higher-order non-deterministic programs.
Proc. ACM Program. Lang., 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018