Login / Signup
Jennifer K. Leestma
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Satisfiability Problem
Temporal Logic
Robotic Systems
Mazurkiewicz Traces
Top Venues
IEEE Robotics Autom. Lett.
CoRR
Sensors
</>
Publications
</>
Zhaoyuan Gu
,
Yuntian Zhao
,
Yipu Chen
,
Rongming Guo
,
Jennifer K. Leestma
,
Gregory S. Sawicki
,
Ye Zhao
Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control.
CoRR
(2024)
Jennifer K. Leestma
,
Snehil Mathur
,
Maximilian D. Anderton
,
Gregory S. Sawicki
,
Aaron J. Young
Dynamic Duo: Design and Validation of an Autonomous Frontal and Sagittal Actuating Hip Exoskeleton for Balance Modulation During Perturbed Locomotion.
IEEE Robotics Autom. Lett.
9 (5) (2024)
Jennifer K. Leestma
,
Katherine Heidi Fehr
,
Peter G. Adamczyk
Adapting Semi-Active Prostheses to Real-World Movements: Sensing and Controlling the Dynamic Mean Ankle Moment Arm with a Variable-Stiffness Foot on Ramps and Stairs.
Sensors
21 (18) (2021)