Research Analyzer

IROS 2024

1856 papers · 0 AI summaries · 2024

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 17 of 38
Title & Authors Actions
CathFlow: Self-Supervised Segmentation of Catheters in Interventional Ultrasound Using Optical Flow and Transformers
Alex Ranne, Liming Kuang, Yordanka Velikova, Nassir Navab, Ferdinando Rodriguez y Baena
 View PDF
Abstraction of the Body Ability of the Transformer Robot System for the Transportation and Installation of Heavy Objects in Land and Underwater Environments
Tasuku Makabe, Kei Okada, Masayuki Inaba
 View PDF
In-Hand Singulation and Scooping Manipulation with a 5 DOF Tactile Gripper
Yuhao Zhou, Pokuang Zhou, Shaoxiong Wang, Yu She
 View PDF
Robot Shape and Location Retention in Video Generation Using Diffusion Models
Peng Wang, Zhihao Guo, Abdul Latheef Sait, Minh Huy Pham
 View PDF
SiCP: Simultaneous Individual and Cooperative Perception for 3D Object Detection in Connected and Automated Vehicles
Deyuan Qu, Qi Chen, Tianyu Bai, Hongsheng Lu, Heng Fan, Hao Zhang, Song Fu, Qing Yang
 View PDF
Immersive Human-In-The-Loop Control: Real-Time 3D Surface Meshing and Physics Simulation
Sait Akturk, Justin Valentine, Junaid Ahmad, Martin Jagersand
 View PDF
Fiber-Optic Force Sensing of Modular Robotic Skin for Remote and Autonomous Robot Control
Sudong Lee, Jae In Kim, Youngjoon Baek, Dongjune Chang, Jeongseob Lee, Young Soo Park, Dongjun Lee, Yong-Lae Park
 View PDF
How Physics and Background Attributes Impact Video Transformers in Robotic Manipulation: A Case Study on Planar Pushing
Shutong Jin, Ruiyu Wang, Muhammad Zahid, Florian T. Pokorny
 View PDF
ASML-VDIO: Visual-Depth-Inertial Odometry using Selected Accurate and Stable Multi-Modal Landmarks in Structural Environments
Xingjian Luo, Chenglin Pang, Xuankang Wu, Zheng Fang
 View PDF
X-Neuron: Interpreting, Locating and Editing of Neurons in Reinforcement Learning Policy
Yuhong Ge, Xun Zhao, Jiangmiao Pang, Mingguo Zhao, Dahua Lin
 View PDF
Seven Benefits of Using Series Elastic Actuators in the Design of an Affordable, Simple Controlled, and Functional Prosthetic Hand
Erfan Koochakzadeh, Alireza Kargar, Parsa Sattari, Diba Ravanshid, Rezvan Nasiri
 View PDF
Towards a Surgeon-In-The-Loop Ophthalmic Robotic Apprentice Using Reinforcement and Imitation Learning
Amr Gomaa, Bilal Mahdy, Niko Kleer, Antonio Krüger
 View PDF
DarkGS: Learning Neural Illumination and 3D Gaussians Relighting for Robotic Exploration in the Dark
Tianyi Zhang, Kaining Huang, Weiming Zhi, Matthew Johnson-Roberson
 View PDF
Bridging Language, Vision and Action: Multimodal VAEs in Robotic Manipulation Tasks
Gabriela Sejnova, Michal Vavrecka, Karla Stepanova
 View PDF
OmniDrones: An Efficient and Flexible Platform for Reinforcement Learning in Drone Control
Botian Xu, Feng Gao, Chao Yu, Ruize Zhang, Yi Wu, Yu Wang
 View PDF
Investigating Behavioral and Cognitive Changes Induced by Autonomous Delivery Robots in Incidentally Copresent Persons
NAYOUNG KIM, Sonya Sona Kwak
 View PDF
Wing Twist and Folding Work in Synergy to Propel Flapping Wing Animals and Robots
Xiaozhou Fan, Alexander Gehrke, Kenneth Breuer
 View PDF
Design and Control of an Ultra-Slender Push-Pull Multisection Continuum Manipulator for In-Situ Inspection of Aeroengine
Weiheng Zhong, Yuancan Huang, Da Hong, Nianfeng Shao
 View PDF
Enabling Maintainablity of Robot Programs in Assembly by Extracting Compositions of Force and Position-Based Robot Skills from Learning-From-Demonstration Models
Daniel Bargmann, Werner Kraus, Marco F. Huber
 View PDF
Switching Sampling Space of Model Predictive Path-Integral Controller to Balance Efficiency and Safety in 4WIDS Vehicle Navigation
Mizuho Aoki, Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki
 View PDF
CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions
Kazuki Mizuta, Karen Leung
 View PDF
DMFuser: Distilled Multi-Task Learning for End-To-End Transformer-Based Sensor Fusion in Autonomous Driving
Pedram Agand, Mohammad Mahdavian, Manolis Savva, Mo Chen
 View PDF
Force and Velocity Prediction in Human-Robot Collaborative Transportation Tasks through Video Retentive Networks
Jose Enrique Dominguez-Vidal, Alberto Sanfeliu
 View PDF
Self-Sensing Origami-Inspired Soft Twisting Actuators and Its Application in Soft Robots
Yang Yang, Shaoyang Yan, Yuan Xie, Yuchao Wang, Jia Liu, Yunquan Li, Jianshu Zhou
 View PDF
Car-Studio: Learning Car Radiance Fields from Single-View and Unlimited In-The-Wild Images
Tianyu Liu, Hao Zhao, Yang Yu, Guyue Zhou, Ming Liu
 View PDF
Design and Preliminary Validation of a Multi-mode Quadrotor Aerial-Aquatic Vehicle with Tilting Mechanism
Mengyao Liu, Bai Chen, Lingyu Wang, ZEBING MAO, Yayi Shen
 View PDF
Geometry-Aware Safety-Critical Local Reactive Controller for Robot Navigation in Unknown and Cluttered Environments
Yulin Li, Xindong Tang, Kai Chen, Chunxin ZHENG, Haichao Liu, Jun Ma
 View PDF
Practical Framework for Path Representation and Following Control in Mobile Industrial Robots
Youngil Koh, WooJeong Kim, MidEum Choi
 View PDF
A Deep Reinforcement Learning Framework and Methodology for Reducing the Sim-to-Real Gap in ASV Navigation
Luis F. W. Batista, Junghwan Ro, Antoine Richard, Pete Schroepfer, Seth Hutchinson, Cedric Pradalier
 View PDF
PARE: A Plane-Assisted Autonomous Robot Exploration Framework in Unknown and Uneven Terrain
Pu Xu, Zhaoqiang Bai, Haoming Liu, Zheng Fang
 View PDF
PS6D: Point Cloud Based Symmetry-Aware 6D Object Pose Estimation in Robot Bin-Picking
Yifan Yang, Zhihao Cui, Qianyi Zhang, Jingtai Liu
 View PDF
Automating Trophectoderm Cells Aspiration and Separation in Embryo Biopsy at the Blastocyst Stage: A Vision-Based Control Approach
Ihab Abu Ajamieh, Mohammad Al Saaideh, Mohammad Al Janaideh, James K. Mills
 View PDF
Toward Micro Eye Movement Detection in Practice: Stand-Alone Eye Tracker with High Resolution and Wide Measurement Range
Keiko Yokoyama, Tomohiro Sueishi, Michiaki Inoue, YingJie Jin, Toshinori Hosoi, Masatoshi Ishikawa
 View PDF
Multiple Visual Features in Topological Map for Vision-And-Language Navigation
Ruonan Liu, Ping Kong, Weidong Zhang
 View PDF
SSL-RGB2IR: Semi-supervised RGB-to-IR Image-to-Image Translation for Enhancing Visual Task Training in Semantic Segmentation and Object Detection
Aniruddh Sikdar, Qiranul Saadiyean, Prahlad Anand, Suresh Sundaram
 View PDF
Cooperative Path Planning for Four-Way Shuttle Vehicles in Storage and Retrieval Systems: A Hierarchically Dynamic Graph Based Approach
Xingyao Han, Yuhong Tan, Siyuan Chen, Zhe Liu, Hesheng Wang
 View PDF
Miniaturisation and Evaluation of the SoftSCREEN System in Colon Phantoms
Vanni Consumi, Neri Niccolò Dei, Gastone Ciuti, Danail Stoyanov, Agostino Stilli
 View PDF
6-DoF Grasp Detection in Clutter with Enhanced Receptive Field and Graspable Balance Sampling
Hanwen Wang, Zhang Ying, Yunlong Wang, Jian LI
 View PDF
A Service Robot in the Wild: Analysis of Users Intentions, Robot Behaviors, and Their Impact on the Interaction
Simone Arreghini, Gabriele Abbate, Alessandro Giusti, Antonio Paolillo
 View PDF
Neuromorphic Force-Control in an Industrial Task: Validating Energy and Latency Benefits
Camilo Amaya, Evan Eames, Gintautas Palinauskas, Alexander Clifford Perzylo, Yulia Sandamirskaya, Axel von Arnim
 View PDF
RelationGrasp: Object-Oriented Prompt Learning for Simultaneously Grasp Detection and Manipulation Relationship in Open Vocabulary
Songting Liu, Tat Joo Teo, Zhiping Lin, Haiyue Zhu
 View PDF
A Multi-DoF Anthropomorphic Hand with Integrated Tactile Feedback for Grasping and Manipulation in Human Environments
Sicheng Yang, Wang Wei Lee, Zhong Zhang, youda Xiong, Jiaming Liang, Peng Lu, YONGHUI ZHU, Tianliang Liu, Jingchen Li, Rui Wang, XIONG LI, Yu Zheng
 View PDF
Direct TPS-Based 3D Non-Rigid Motion Estimation on 3D Colored Point Cloud in Eye-In-Hand Configuration
Lénaïc Cuau, Joao Cavalcanti Santos, Philippe Poignet, Nabil Zemiti
 View PDF
Design, Localization, Perception, and Control for GPS-Denied Autonomous Aerial Grasping and Harvesting
ashish kumar, Laxmidhar Behera
 View PDF
CoNVOI: Context-Aware Navigation Using Vision Language Models in Outdoor and Indoor Environments
Adarsh Jagan Sathyamoorthy, Kasun Weerakoon Kulathun Mudiyanselage, Mohamed Elnoor, Anuj Zore, Brian Ichter, Fei Xia, Jie Tan, Wenhao Yu, Dinesh Manocha
 View PDF
Navigated Locomotion and Controllable Splitting of a Microswarm in a Complex Environment
Yuezhen Liu, Guangjun Zeng, Xingzhou Du, Kaiwen Fang, Jiangfan Yu
 View PDF
CR3DT: Camera-RADAR Fusion for 3D Detection and Tracking
Nicolas Baumann, Michael Baumgartner, Edoardo Ghignone, Jonas Kühne, Tobias Fischer, Yung-Hsu Yang, Marc Pollefeys, Michele Magno
 View PDF
3D Object Visibility Prediction in Autonomous Driving
Chuanyu Luo, Nuo Cheng, Ren Zhong, Haipeng Jiang, Wenyu Chen, Aoli Wang, Pu Li
 View PDF
Exploring Cognitive Load Dynamics in Human-Machine Interaction for Teleoperation: A User-Centric Perspective on Remote Operation System Design
Juan José García Cárdenas, Xiaoxuan Hei, Adriana Tapus
 View PDF
SFTrack: A Robust Scale and Motion Adaptive Algorithm for Tracking Small and Fast Moving Objects
Inpyo Song, Jangwon Lee
 View PDF