Research Analyzer
← IROS 2024

All Papers

1856 papers in this venue.

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 2 of 38
Title & Authors Actions
PICaSo: A Collaborative Robotics System for Inpainting on Physical Canvas Using Marker and Eraser
Shady Nasrat, Jae-Bong Yi, Minseong Jo, Seung-Joon Yi
 PDF
Object Instance Retrieval in Assistive Robotics: Leveraging Fine-Tuned SimSiam with Multi-View Images Based on 3D Semantic Map
Taichi Sakaguchi, Akira Taniguchi, Yoshinobu Hagiwara, Lotfi El Hafi, Shoichi Hasegawa, Tadahiro Taniguchi
 PDF
Flying Robotics Art: ROS-Based Drone Draws the Record-Breaking Mural
Andrei Korigodskii, Oleg Kalachev, Artem Vasiunik, Matvei Urvantsev, Georgii Bondar
 PDF
Ensuring Safety in LLM-Driven Robotics: A Cross-Layer Sequence Supervision Mechanism
Ziming Wang, Qingchen Liu, Jiahu Qin, Man Li
 PDF
Input Decoupling of Lagrangian Systems Via Coordinate Transformation: General Characterization and Its Application to Soft Robotics
Pietro Pustina, Cosimo Della Santina, Frédéric Boyer, Alessandro De Luca, Federico Renda
 PDF
Development and Functional Evaluation of The PrHand V3 Soft-Robotics Prosthetic Hand
Orion Yari Santiago Ramos, Laura De Arco, Marcela Munera, Jorge Robledo, Mehran Moazen, Helge Arne Wurdemann, Carlos A. Cifuentes
 PDF
A Direct Semi-Exhaustive Search Method for Robust, Partial-To-Full Point Cloud Registration
Richard Cheng, Chavdar Papazov, Daniel Helmick, Mark Tjersland
 PDF
PROSPECT: Precision Robot Spectroscopy Exploration and Characterization Tool
Nathaniel Hanson, Gary Lvov, Vedant Rautela, Sam Hibbard, Ethan Holand, Charles A DiMarzio, Taskin Padir
 PDF
ALBERO: Agile Landing on Branches for Environmental Robotics Operations
Liming Zheng, Salua Hamaza
 PDF
Benchmarking Smoothness and Reducing High-Frequency Oscillations in Continuous Control Policies
Guilherme Henrique Galelli Christmann, Ying-Sheng Luo, Hanjaya Mandala, Wei-Chao Chen
 PDF
Agonist-Antagonist Pouch Motors: Bidirectional Soft Actuators Enhanced by Thermally Responsive Peltier Elements
Trevor Exley, Rashmi Diviyanjali Wijesundara Mudiyanselage, Nathan Tan, Akshay Sunkara, Xinyu He, Shuopu Wang, Bonnie Chan, Aditya Jain Jain, Luis Espinosa, Amir Jafari
 PDF
Scalable Network and Adaptive Refinement Module for 6D Pose Estimation of Diverse Industrial Components
Kun Qian, Mustafa Suphi Erden, Xianwen Kong
 PDF
FogROS2-FT: Fault Tolerant Cloud Robotics
Kaiyuan Chen, Kush Hari, Trinity Chung, Michael Wang, Nan Tian, Christian Juette, Jeffrey Ichnowski, Liu Ren, John Kubiatowicz, Ion Stoica, Ken Goldberg
 PDF
An Efficient Coverage Method for Irregularly Shaped Terrains
Yuxuan Tang, Qizhen Wu, Chunli Zhu, Lei Chen
 PDF
A Framework for Neurosymbolic Goal-Conditioned Continual Learning for Open World Environments
Pierrick Lorang, Shivam Goel, Yash Shukla, Patrik Zips, Matthias Scheutz
 PDF
PAAMP: Polytopic Action-Set And Motion Planning for Long Horizon Dynamic Motion Planning via Mixed Integer Linear Programming
Akshay Jaitly, Siavash Farzan
 PDF
Trajectory Planning for Non-Prehensile Object Transportation
Lingyun Chen, Haoyu Yu, Liding Zhang, Abdeldjallil Naceri, Abdalla Swikir, Sami Haddadin
 PDF
SIMPL: A Simple and Efficient Multi-Agent Motion Prediction Baseline for Autonomous Driving
Lu Zhang, Peiliang LI, Sikang Liu, Shaojie Shen
 PDF
Learning-To-Rank Approach for Identifying Everyday Objects Using a Physical-World Search Engine
Kanta Kaneda, Shunya Nagashima, Ryosuke Korekata, Motonari Kambara, Komei Sugiura
 PDF
Neighborhood Consensus Guided Matching Based Place Recognition with Spatial-Channel Embedding
Kunmo Li, Yunzhou Zhang, Jian Ning, Xinge Zhao, Guiyuan Wang, Wei Liu
 PDF
RT-Grasp: Reasoning Tuning Robotic Grasping Via Multi-Modal Large Language Model
Jinxuan Xu, Shiyu Jin, Yutian Lei, Yuqian Zhang, Liangjun Zhang
 PDF
Expansion-GRR: Efficient Generation of Smooth Global Redundancy Resolution Roadmaps
Zhuoyun Zhong, Zhi Li, Constantinos Chamzas
 PDF
BEVPose: Unveiling Scene Semantics through Pose-Guided Multi-Modal BEV Alignment
Mehdi Hosseinzadeh, Ian Reid
 PDF
PINN-Ray: A Physics-Informed Neural Network to Model Soft Robotic Fin-Ray Fingers
Xing Wang, Joel Janek Dabrowski, Joshua Pinskier, Lois Liow, VinothKumar Viswanathan, Richard Scalzo, David Howard
 PDF
Multi-View 2D to 3D Lifting Video-Based Optimization: A Robust Approach for Human Pose Estimation with Occluded Joint Prediction
Daniela Rato, Miguel Oliveira, Vitor Santos, Angel Sappa, Bogdan Raducanu
 PDF
P4: Pruning and Prediction-Based Priority Planning
Rui Yang, Rajiv Gupta
 PDF
Enhanced Dexterity Maps (EDM): A New Map for Manipulator Capability Analysis
Haowen Yao, Riddhiman Laha, Luis Figueredo, Sami Haddadin
 PDF
Tactile Odometry in Aerial Physical Interaction
Micha Schuster, Anton Bredenbeck, Michael Beitelschmidt, Salua Hamaza
 PDF
Embodiment: Self-Supervised Depth Estimation Based on Camera Models
Jinchang Zhang, PRAVEEN KUMAR REDDY KAMSANI, Xue Iuan Wong, Yiannis Aloimonos, Guoyu Lu
 PDF
Safety Compliant, Ergonomic and Time-Optimal Trajectory Planning for Collaborative Robotics
Silvia Proia, Graziana Cavone, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli
 PDF
Pos2VPR: Fast Position Consistency Validation with Positive Sample Mining for Hierarchical Place Recognition
Dehao Zou, Xiaolong Qian, Yunzhou Zhang, Xinge Zhao, Zhuo Wang
 PDF
IC-FPS: Instance-Centroid Faster Point Sampling Framework for 3D Point-Based Object Detection
Haotian Hu, Fanyi Wang, YaoNong Wang, Laifeng Hu, Zhiwang Zhang
 PDF
Long-Term Map-Maintenance in Changing Environments Using Ray-Bundle-Impact-Factor Estimation
Matthias Breitfuss, Marcus Geimer, Christoph Johannes Gruber
 PDF
Neural ODE-Based Imitation Learning (NODE-IL): Data-Efficient Imitation Learning for Long-Horizon Multi-Skill Robot Manipulation
Shiyao Zhao, Yucheng Xu, Mohammadreza Kasaei, Mohsen Khadem, Zhibin (Alex) Li
 PDF
Enhancing VIO Robustness under Sudden Lighting Variation: A Learning-Based IMU Dead-Reckoning for UAV Localization
Daolong Yang, Liu Haoyuan, XueYing Jin, Jiawei Chen, Chengcai Wang, Xilun DING, Kun Xu
 PDF
Design Space Exploration of Low-Bit Quantized Neural Networks for Visual Place Recognition
Oliver Edward Grainge, Michael J Milford, Indu Bodala, Sarvapali Ramchurn, Shoaib Ehsan
 PDF
EasyHeC++: Fully Automatic Hand-Eye Calibration with Pretrained Image Models
Zhengdong Hong, Kangfu Zheng, Linghao Chen
 PDF
Leveraging Symmetry in RL-Based Legged Locomotion Control
Zhi Su, Xiaoyu Huang, Daniel Felipe Ordonez Apraez, Yunfei Li, Zhongyu Li, Qiayuan Liao, Massimiliano Pontil, Claudio Semini, Giulio Turrisi, Yi Wu, Koushil Sreenath
 PDF
Roofus: Learning-Based Robotic Moisture Mapping on Flat Rooftops with Ground Penetrating Radar
Kevin Lee, Wei-Heng Lin, Talha Javed, Sruti Madhusudhan, Bilal Sher, Chen Feng
 PDF
BEV-ODOM: Reducing Scale Drift in Monocular Visual Odometry with BEV Representation
Yufei Wei, Sha Lu, Fuzhang Han, Rong Xiong, Yue Wang
 PDF
Acoustic-N-Point for Solving 2D Forward Looking Sonar Pose Estimation
Yusheng Wang, Yonghoon Ji, Hiroshi Tsuchiya, Jun Ota, Hajime Asama, Atsushi Yamashita
 PDF
NeuFlow: Real-Time, High-Accuracy Optical Flow Estimation on Robots Using Edge Devices
Zhiyong Zhang, Hanumant Singh, Huaizu Jiang
 PDF
Lightweight Language-Driven Grasp Detection Using Conditional Consistency Model
Nghia Nguyen, Minh Nhat Vu, Baoru Huang, An Dinh Vuong, Ngan Le, Thieu Vo, Anh Nguyen
 PDF
VRExplorer: An Efficient View-Region Based Autonomous Exploration Method in Unknown Environments for UAV
Kai Xu, Lanxiang Zheng, Mingxin Wei, Hui Cheng
 PDF
Collision Detection between Smooth Convex Bodies Via Riemannian Optimization Framework
Seoki An, Somang Lee, Jeongmin Lee, Sunkyung Park, Dongjun Lee
 PDF
Steering Decision Transformers Via Temporal Difference Learning
Hao-Lun Hsu, Alper Kamil Bozkurt, Juncheng Dong, Qitong Gao, Vahid Tarokh, Miroslav Pajic
 PDF
OPG-Policy: Occluded Push-Grasp Policy Learning with Amodal Segmentation
Hao Ding, Yiming Zeng, Zhaoliang Wan, Hui Cheng
 PDF
Optimizing Crowd-Aware Multi-Agent Path Finding through Local Broadcasting with Graph Neural Networks
Phu Pham, Aniket Bera
 PDF
Graph Neural Network-Based Multi-Agent Reinforcement Learning for Resilient Distributed Coordination of Multi-Robot Systems
Anthony Goeckner, Yueyuan Sui, Nicolas Martinet, Xinliang Li, Qi Zhu
 PDF
Camera Pose Estimation from Bounding Boxes
Vaclav Vavra, Torsten Sattler, Zuzana Kukelova
 PDF