Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 31 of 47
Title & Authors Actions
A Powerline Inspection UAV Equipped with Dexterous, Lockable Gripping Mechanisms for Autonomous Perching and Contact Rolling
Angus Lynch, Corey Duguid, Joao Buzzatto, Minas Liarokapis
 View PDF
Robot Interaction Behavior Generation Based on Social Motion Forecasting for Human-Robot Interaction
Esteve Valls Mascaro, Yashuai Yan, Dongheui Lee
 View PDF
A Kinetostatic Model for Concentric Push-Pull Robots
Jake Childs, Caleb Rucker
 View PDF
Conflict-Based Model Predictive Control for Scalable Multi-Robot Motion Planning
Amirardalan Tajbakhsh, Lorenz Biegler, Aaron M. Johnson
 View PDF
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew Wells, Morteza Lahijanian, Lydia Kavraki, Vardi Moshe
 View PDF
Decentralized Multi-Agent Active Search and Tracking When Targets Outnumber Agents
Arundhati Banerjee, Jeff Schneider
 View PDF
CoPAL: Corrective Planning of Robot Actions with Large Language Models
Frank Joublin, Antonello Ceravola, Pavel Smirnov, Felix Ocker, Joerg Deigmoeller, Anna Belardinelli, Chao Wang, Stephan Hasler, Daniel Tanneberg, Michael Gienger
 View PDF
Learning with Chemical versus Electrical Synapses - Does It Make a Difference?
Monika Farsang, Mathias Lechner, David Lung, Ramin Hasani, Daniela Rus, Radu Grosu
 View PDF
Optimizing Dynamic Balance in a Rat Robot Via the Lateral Flexion of a Soft Actuated Spine
Yuhong Huang, Zhenshan Bing, Zitao Zhang, Genghang Zhuang, Kai Huang, Alois Knoll
 View PDF
A Novel Wide-Area Multiobject Detection System with High-Probability Region Searching
Xianlei Long, Hui Zhao, Chao Chen, Fuqiang Gu, Qingyi Gu
 View PDF
High-Curvature, High-Force, Vine Robot for Inspection
Mijaíl Jaén Mendoza Flores, Nicholas Naclerio, Elliot Wright Hawkes
 View PDF
Co-Axial Slender Tubular Robot (CAST): Towards Robotized Operation for Transorbital Neurosurgery with Minimal Invasiveness
Shuai Wang, Qing xiang Zhao, Jian Chen, Mingcong Chen, Guanglin Cao, Jian Hu, Runfeng ZHU, Hongbin Liu
 View PDF
Optimal Prescribed-Time Control Based Reactive Planning System for Quadruped Robot Navigation
Shaohang Xu, Wentao Zhang, Chin Pang Ho, Lijun Zhu
 View PDF
Long-HOT: A Modular Hierarchical Approach for Long-Horizon Object Transport
Sriram N N, Dinesh Jayaraman, Manmohan Chandraker
 View PDF
A Nonlinear Estimator for Dead Reckoning of Aquatic Surface Vehicles Using an IMU and a Doppler Velocity Log
Jessica Paterson, Bruno Vilhena Adorno, Barry Lennox, Keir Groves
 View PDF
IKLink: End-Effector Trajectory Tracking with Minimal Reconfigurations
Yeping Wang, Carter Sifferman, Michael Gleicher
 View PDF
Learning Generalizable Patrolling Strategies through Domain Randomization of Attacker Behaviors
Carlos Diaz Alvarenga, Nicola Basilico, Stefano Carpin
 View PDF
ReorientDiff: Diffusion Model Based Reorientation for Object Manipulation
Utkarsh Mishra, Yongxin Chen
 View PDF
ToP-ToM: Trust-Aware Robot Policy with Theory of Mind
Chuang Yu, Baris Serhan, Angelo Cangelosi
 View PDF
Model-Based Co-Simulation of Flexible Mechanical Systems with Contacts Using Reduced Interface Models
Xu Dai, Ali Raoofian, Jozsef Kovecses, Marek Teichmann
 View PDF
ODD-Based Query-Time Scenario Mutation Framework for Autonomous Driving Scenario Databases
Yun tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Bruto da Costa, Siddartha Khastgir, Paul Jennings
 View PDF
Ospreys-Inspired Self-Takeoff Strategy of an Eagle-Scale Flapping-Wing Robot: System Design and Flight Experiments
Haoyu Wang, Wenfu Xu, Linpo Hou, Erzhen Pan
 View PDF
Learning Terrain-Aware Kinodynamic Model for Autonomous Off-Road Rally Driving with Model Predictive Path Integral Control
Hojin Lee, Taekyung Kim, Jungwi Mun, Wonsuk Lee
 View PDF
Autonomous Quilt Spreading for Caregiving Robots
Yuchun Guo, Zhiqing Lu, Yanling Zhou, Xin Jiang
 View PDF
Aim-Aware Collision Monitoring: Discriminating between Expected and Unexpected Post-Impact Behaviors
Benn Proper, Alexander Andreas Kurdas, Saeed Abdolshah, Sami Haddadin, Alessandro Saccon
 View PDF
Safety-Critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments
Jaemin Lee, Jeeseop Kim, Wyatt Ubellacker, Tamas G. Molnar, Aaron Ames
 View PDF
Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models
Yu Zhang, Long Wen, Xiangtong Yao, Zhenshan Bing, Linghuan Kong, Wei He, Alois Knoll
 View PDF
Observer-Based Controller Design for Oscillation Damping of a Novel Suspended Underactuated Aerial Platform
Hemjyoti Das, Minh Nhat Vu, Tobias Egle, Christian Ott
 View PDF
COIN-LIO: Complementary Intensity-Augmented LiDAR Inertial Odometry
Patrick Pfreundschuh, Helen Oleynikova, Cesar Cadena Lerma, Roland Siegwart, Olov Andersson
 View PDF
Squirrel-Inspired Tendon-Driven Passive Gripper for Agile Landing
Stanley Wang, Duyi Kuang, Sebastian Lee, Robert Full, Hannah Stuart
 View PDF
End-to-End Thermal Updraft Detection and Estimation for Autonomous Soaring Using Temporal Convolutional Networks
Christian Gall, Walter Fichter, Aamir Ahmad
 View PDF
Language-EXtended Indoor SLAM (LEXIS): A Versatile System for Real-Time Visual Scene Understanding
Christina Kassab, Matias Mattamala, Lintong Zhang, Maurice Fallon
 View PDF
Learning Vision-Based Bipedal Locomotion for Challenging Terrain
Helei Duan, Bikram Pandit, Mohitvishnu S. Gadde, Bart Jaap van Marum, Jeremy Dao, Chanho Kim, Alan Fern
 View PDF
Microexpression to Macroexpression: Facial Expression Magnification by Single Input
Yaqi Song, Tong Chen, Shigang Li, Jianfeng Li
 View PDF
A Non-Magnetic Dual-Mode Linear Pneumatic Actuator: Initial Design and Assessment
Timothée Portha, Laurent Barbé, Francois Geiskopf, Jonathan Vappou, Pierre Renaud
 View PDF
OSSAR: Towards Open-Set Surgical Activity Recognition in Robot-Assisted Surgery
Long Bai, Guankun Wang, Jie Wang, Xiaoxiao Yang, Huxin Gao, Xin LIANG, An Wang, Mobarakol Islam, Hongliang Ren
 View PDF
Mask4D: End-To-End Mask-Based 4D Panoptic Segmentation for LiDAR Sequences
Rodrigo Marcuzzi, Lucas Nunes, Louis Wiesmann, Elias Ariel Marks, Jens Behley, Cyrill Stachniss
 View PDF
Singularity Analysis of Kinova's Link 6 Robot~Arm Via Grassmann Line Geometry
Milad Asgari, Ilian Bonev, Clement Gosselin
 View PDF
NFL: Normal Field Learning for 6-DoF Grasping of Transparent Objects
Junho Lee, Sang Min Kim, Yonghyeon Lee, Young Min Kim
 View PDF
Soft Bending Actuator with Fiber-Jamming Variable Stiffness and Fiber-Optic Proprioception
Joonwon Kang, Sudong Lee, Yong-Lae Park
 View PDF
Reinforcement Learning with Human Feedback for Realistic Traffic Simulation
Yulong Cao, Boris Ivanovic, Chaowei Xiao, Marco Pavone
 View PDF
Bridging the Sim-To-Real Gap with Dynamic Compliance Tuning for Industrial Insertion
Xiang Zhang, Masayoshi Tomizuka, Hui Li
 View PDF
High Precision Leaf Instance Segmentation for Phenotyping in Point Clouds Obtained under Real Field Conditions
Elias Ariel Marks, Matteo Sodano, Federico Magistri, Louis Wiesmann, Dhagash Desai, Rodrigo Marcuzzi, Jens Behley, Cyrill Stachniss
 View PDF
Design of Embodied Mediator Haru for Remote Cross Cultural Communication
Randy Gomez, Deborah Szapiro, Sara Cooper, Nabil Bougria Sanchez, Guillermo Pérez, Eric Nichols, Javier Giménez-Figueroa, Jose Manuel Perez-Moleron, Matthew Peavy, Daniel Serrano, Luis Merino
 View PDF
Accurate Prior-Centric Monocular Positioning with Offline LiDAR Fusion
Jinhao He, Huaiyang Huang, Shuyang Zhang, Jianhao JIAO, Chengju Liu, Ming Liu
 View PDF
Wait, That Feels Familiar: Learning to Extrapolate Human Preferences for Preference-Aligned Path Planning
Haresh Karnan, Elvin Yang, Garrett Warnell, Peter Stone, Joydeep Biswas
 View PDF
Supernumerary Robotic Limbs to Support Post-Fall Recoveries for Astronauts
Erik Ballesteros, Sang-Yoep Lee, Kalind Carpenter, Harry Asada
 View PDF
Design, Modeling and Analysis of a Spherical Parallel Continuum Manipulator for Nursing Robots
Zhenhua Gong, Chuanxin Ning, Jiejunyi Liang, Ting Zhang
 View PDF
Non-Smooth Trajectory Optimization for Wheeled Balancing Robots with Contact Switches and Impacts
Victor Klemm, Yvain de Viragh, David Rohr, Roland Siegwart, Marco Tognon
 View PDF
The Weighted Markov-Dubins Problem
Deepak Prakash Kumar, Swaroop Darbha, Satyanarayana Gupta Manyam, David Casbeer
 View PDF