Research Analyzer
← ICRA 2024

All Papers

2337 papers in this venue.

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 46 of 47
Title & Authors Actions
CushSense: Soft, Stretchable, and Comfortable Tactile Sensing Skin for Physical Human-Robot Interaction
Boxin Xu,Luoyan Zhong,Grace Zhang,Xiaoyu Liang,Diego Virtue,Rishabh Madan,Tapomayukh Bhattacharjee
 PDF
Elasto-Static Modelling and Identification of a Deployable Cable-Driven Parallel Robot with Compliant Masts
Zane Zake, Stéphane Caro
 PDF
Learning Complex Motion Plans Using Neural ODEs with Safety and Stability Guarantees
Farhad Nawaz Savvas Sadiq Ali, Tianyu Li, Nikolai Matni, Nadia Figueroa
 PDF
Barry: A High-Payload and Agile Quadruped Robot
Giorgio Valsecchi, Nikita Rudin, Lennart Nachtigall, Konrad Mayer, Fabian Tischhauser, Marco Hutter
 PDF
Gaussian Process-Enhanced, External and Internal Convertible (EIC) Form-Based Control of Underactuated Balance Robots
Feng Han, Jingang Yi
 PDF
Multi-Robot Autonomous Exploration and Mapping under Localization Uncertainty with Expectation-Maximization
Yewei Huang, Xi Lin, Brendan Englot
 PDF
Learning Emergent Gaits with Decentralized Phase Oscillators: On the Role of Observations, Rewards, and Feedback
Jenny Zhang, Steve Heim, Se Hwan Jeon, Sangbae Kim
 PDF
3D Force and Contact Estimation for a Soft-Bubble Visuotactile Sensor Using FEM
Jing-Chen Peng, Shaoxiong Yao, Kris Hauser
 PDF
Grounding Conversational Robots on Vision through Dense Captioning and Large Language Models
Lucrezia Grassi, Zhouyang Hong, Carmine Tommaso Recchiuto, Antonio Sgorbissa
 PDF
Robotic Capillary Insertion to the Xenopus Oocyte Using Microscopic Image Analysis and QCR Force Sensor
Kazusa Otani, Hirotaka Sugiura, Shiro Watanabe, Bilal Turan, Satoshi Amaya, Fumihito Arai
 PDF
Fast Task Allocation of Heterogeneous Robots with Temporal Logic and Inter-Task Constraints
Lin Li, Ziyang Chen, Hao Wang, Zhen Kan
 PDF
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
Ilayda Yaman, Guoda Tian, Martin Larsson, Patrik Persson, Michiel Sandra, Alexander DÃ1⁄4rr, Erik Tegler, Nikhil Challa, Henrik Garde, Fredrik Tufvesson, Karl à ström, Ove Edfors, Steffen Malkowsky, Liang Liu
 PDF
Dynamic Targeting of Satellite Observations Incorporating Slewing Costs and Complex Observation Utility
Akseli Kangaslahti, Alberto Candela, Jason Swope, Qing Yue, Steve Chien
 PDF
Terrestrial Locomotion of PogoX: From Hardware Design to Energy Shaping and Step-To-Step Dynamics Based Control
Yi Wang, Jiarong Kang, Zhiheng Chen, Xiaobin Xiong
 PDF
A Miniature Water Jumping Robot Based on Accurate Interaction Force Analysis
Jihong Yan, Xin Zhang, Kai Yang, Jie Zhao
 PDF
Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors Via Sums-Of-Squares
Lujie Yang, Hongkai Dai, Alexandre Amice, Russ Tedrake
 PDF
Pluck and Play: Self-supervised Exploration of Chordophones for Robotic Playing
Michael Görner, Norman Hendrich, Jianwei Zhang
 PDF
Design, Modeling and Control of a Top-Loading Fully-Actuated Cargo Transportation Multirotor
Wooyong Park, Xiangyu Wu, Dongjae Lee, Seung Jae Lee
 PDF
Learning a Flexible Neural Energy Function with a Unique Minimum for Globally Stable and Accurate Demonstration Learning
Zhehao Jin, WEIYONG SI, Andong Liu, Wen-An Zhang, Li Yu, Chenguang Yang
 PDF
The Fractal Hand-II: Reviving a Classic Mechanism for Contemporary Grasping Challenges
Malcolm Tisdale, Joel Burdick
 PDF
Pilot Comparison of Customized and Generalized Hip-Knee-Ankle Exoskeleton Torque Profiles
Gwendolyn Bryan, Patrick W. Franks, Seungmoon Song, Steven H. Collins
 PDF
Efficient Constrained Dynamics Algorithms Based on an Equivalent LQR Formulation Using Gauss' Principle of Least Constraint
Ajay Suresha Sathya, Herman Bruyninckx, Wilm Decré, Goele Pipeleers
 PDF
Multi-Scale Visual Servoing Framework for Optical Microscopy Based on SIFT Matching
Yameng ZHANG, Ao XU, Yuhan Chen, Max Q.-H. Meng, Li Liu
 PDF
Development of the Assembling System for Structure Transformable Humanoid with Attach-Lock-Detachable Magnetic Coupling
Tasuku Makabe, Kei Okada, Masayuki Inaba
 PDF
An Onboard Framework for Staircases Modeling Based on Point Clouds
Chun Qing, Rongxiang Zeng, xuan Wu, Yongliang Shi, Gan MA
 PDF
DISO: Direct Imaging Sonar Odometry
Shida Xu, Kaicheng Zhang, Ziyang Hong, Yuanchang Liu, Sen Wang
 PDF
Learning Motion Reconstruction from Demonstration Via Multi-Modal Soft Tactile Sensing
Cheng Pan, Kieran Gilday, Emily Sologuren, Kai Junge, Josie Hughes
 PDF
Lightweight Human-Friendly Robotic Arm Based on Transparent Hydrostatic Transmissions
Marco Bolignari, Gianluca Rizzello, Luca Zaccarian, Marco Fontana
 PDF
Dynamic Mobile Manipulation Via Whole-Body Bilateral Teleoperation of a Wheeled Humanoid
Amartya Purushottam, Christopher Xu, Yeongtae Jung, Joao Ramos
 PDF
Snake Robot with Tactile Perception Navigates on Large-Scale Challenging Terrain
Shuo Jiang, Adarsh Salagame, Alireza Ramezani, Lawson L.S. Wong
 PDF
Tip-Clutching Winch for High Tensile Force Application with Soft Growing Robots
Obumneme Godson Osele, Kentaro Barhydt, Nicholas Cerone, Allison M. Okamura, Harry Asada
 PDF
Towards Centimeter-Scale Underwater Mobile Robots: An Architecture for Capable μAUVs
Pascal Spino, Daniela Rus
 PDF
SANet: Small but Accurate Detector for Aerial Flying Object
Xunkuai Zhou, Benyun ZHAO, Guidong YANG, Jihan Zhang, LI LI, Ben M. Chen
 PDF
Exploring the Effect of Base Compliance on Physical Human-Robot Collaboration
Ziqi Wang, Marc Carmichael
 PDF
Cascaded Compositional Residual Learning for Complex Interactive Behaviors
Niranjan Kumar Kannabiran, Irfan Essa, Sehoon Ha
 PDF
Hierarchical Learned Risk-Aware Planning Framework for Human Driving Modeling
Nathan Ludlow, Yiwei Lyu, John M. Dolan
 PDF
A Restorable, Variable Stiffness Pneumatic Soft Gripper Based on Jamming of Strings of Beads
Fenglin Han, Lei Fei, Run Zou, Weijian Li, JingHao Zhou, Haiming Zhao
 PDF
Tethered Lifting-Wing Multicopter Landing Like Kite
Haoyu Wei, shuai wang, Quan Quan
 PDF
Learning Covariances for Estimation with Constrained Bilevel Optimization
Mohamad Qadri, Zachary Manchester, Michael Kaess
 PDF
Constrained Nonlinear Disturbance Observer for Robotic Systems
Ji Wan Han, Daehyung Park, Min Jun Kim
 PDF
Angler: An Autonomy Framework for Intervention Tasks with Lightweight Underwater Vehicle Manipulator Systems
Evan Palmer, Chris Holm, Geoffrey Hollinger
 PDF
Robust MITL Planning under Uncertain Navigation Times
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
 PDF
Optimal Planning for Timed Partial Order Specifications
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, HIDEKI OKAMOTO, Sriram Sankaranarayanan
 PDF
A Modular Aerial System Based on Homogeneous Quadrotors with Fault-Tolerant Control
Mengguang Li, Kai Cui, Heinz Koeppl
 PDF
HandNeRF: Learning to Reconstruct Hand-Object Interaction Scene from a Single RGB Image
Hongsuk Choi, Nikhil Chavan-Dafle, Jiacheng Yuan, Volkan Isler, Hyun Soo Park
 PDF
Coordinated Landing Control for Cross-Domain UAV-USV Fleets Using Heterogeneous-Feature Matching
Jianing Ding, Hai-Tao Zhang, Binbin Hu
 PDF
Doppler-Only Single-Scan 3D Vehicle Odometry
Andres Galeote-Luque, Vladimir Kubelka, Martin Magnusson, J.R. Ruiz-Sarmiento, Javier Gonzalez-Jimenez
 PDF
Model Predictive Robustness of Signal Temporal Logic Predicates
Yuanfei Lin, Haoxuan Li, Matthias Althoff
 PDF
Safety-Critical Scenario Generation Via Reinforcement Learning Based Editing
Haolan Liu, Liangjun Zhang, Siva Kumar Sastry Hari, Jishen Zhao
 PDF
A Vision-Centric Approach for Static Map Element Annotation
Jiaxin Zhang, Chen Shiyuan, haoran yin, Ruohong Mei, Xuan Liu, Cong Yang, Qian Zhang, Wei Sui
 PDF