Research Analyzer
← IROS 2024

All Papers

1856 papers in this venue.

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 1 of 38
Title & Authors Actions
Hybrid Stereo Dense Depth Estimation for Robotics Tasks in Industrial Automation
Suhani Singh, Michael Suppa, Raul Suarez, Jan Rosell
 PDF
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
Chencheng Tang, Matthias Althoff
 PDF
Learning Adaptive Controller for Hydraulic Machinery Automation
Fang Nan, Marco Hutter
 PDF
Precise Well-Plate Placing Utilizing Contact During Sliding with Tactile-Based Pose Estimation for Laboratory Automation
Sameer Pai, Kuniyuki Takahashi, Shimpei Masuda, Naoki Fukaya, Koki Yamane, Avinash Ummadisingu
 PDF
Robotic Measurement for Electrical Property of Polymers by Force-Sensing Robot Toward Materials Lab-Automation
Yuki Asano, Kei Okada, Junichiro Shiomi
 PDF
SURESTEP: An Uncertainty-Aware Trajectory Optimization Framework to Enhance Visual Tool Tracking for Robust Surgical Automation
Nikhil Shinde, Zih-Yun Chiu, Florian Richter, Jason Lim, Yuheng Zhi, Sylvia Herbert, Michael C. Yip
 PDF
SpectralWaste Dataset: Multimodal Data for Waste Sorting Automation
Sara Casao, Fernando Peña, Alberto Sabater, Rosa CastillÃ3n, Darío Suárez, Eduardo Montijano, Ana Cristina Murillo
 PDF
ODD-diLLMma: Driving Automation System ODD Compliance Checking Using LLMs
Carl Hildebrandt, Trey Woodlief, Sebastian Elbaum
 PDF
A Low-Cost, High-Speed, and Robust Bin Picking System for Factory Automation Enabled by a Non-Stop, Multi-View, and Active Vision Scheme
Xingdou Fu, Lin Miao, Yasuhiro Ohnishi, Yuki Hasegawa, Masaki Suwa
 PDF
ROS-Lite2: Autonomous-Driving Software Platform for Clustered Many-Core Processor
Yuta Tajima, Shuhei Tsunoda, Takuya Azumi
 PDF
Motion Planning for Automata-Based Objectives Using Efficient Gradient-Based Methods
Anand Balakrishnan, Merve Atasever, Jyotirmoy Deshmukh
 PDF
Leveraging GNSS and Onboard Visual Data from Consumer Vehicles for Robust Road Network Estimation
István Balázs Opra, Betty Le Dem, Jeffrey Walls, Dimitar Lukarski, Cyrill Stachniss
 PDF
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-Of-Thought Reasoning
Kumar Manas, Stefan Zwicklbauer, Adrian Paschke
 PDF
Rotograb: Combining Biomimetic Hands with Industrial Grippers Using a Rotating Thumb
Arnaud Bersier, Matteo Leonforte, Alessio Vanetta, Sarah Lia Andrea Wotke, Andrea Nappi, Yifan Zhou, Sebastiano Oliani, Alexander M. Kübler, Robert Kevin Katzschmann
 PDF
Development Force Control of a Series Elastic Actuator to Excavator for Mechanization of Manual Work
Toshifumi Hiramatsu, Miyuki Saiki, Naohiro Hara, Masaki Yamada, Masaki Momii, Yuichi Uebayashi, Hisashi Sugiura
 PDF
Follow Anything: Open-Set Detection, Tracking, and Following in Real-Time
Alaa Maalouf, Ninad Jadhav, Krishna Murthy Jatavallabhula, Makram Chahine, Daniel Vogt, Robert Wood, Antonio Torralba, Daniela Rus
 PDF
RobotGraffiti: An AR Tool for Semi-Automated Construction of Workcell Models to Optimize Robot Deployment
Krzysztof Zielinski, Ryan Penning, Bruce Blumberg, Christian Schlette, Kjærgaard Mikkel
 PDF
Reactive Temporal Logic-Based Planning and Control for Interactive Robotic Tasks
Farhad Nawaz Savvas Sadiq Ali, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni
 PDF
Breaking Symmetries Leads to Diverse Quadrupedal Gaits
Jiayu Ding, Zhenyu Gan
 PDF
SocialNav-FTI: Field-Theory-Inspired Social-Aware Navigation Framework Based on Human Behavior and Social Norms
Siyi Lu, Ping Zhong, Shuqi Ye, Bolei Chen, Sheng Yu, Run Liu
 PDF
Kinetic-Energy-Optimal and Safety-Guaranteed Trajectory Planning for Bridge Inspection Robot Manipulator
Tianyu Zhang, Yong Chang, Hongguang Wang, Tianlong Wang
 PDF
Disturbance-Aware Model Predictive Control of Underactuated Robotics Systems
Jiwon Kim, Min Jun Kim
 PDF
Distributed Optimization Methods for Multi-Robot Systems: Part II � a Survey
Ola Shorinwa, Trevor Halsted, Javier Yu, Mac Schwager
 PDF
Ag2Manip: Learning Novel Manipulation Skills with Agent-Agnostic Visual and Action Representations
Puhao Li, Tengyu Liu, Yuyang Li, Muzhi Han, Haoran Geng, Shu Wang, Yixin Zhu, Song-Chun Zhu, Siyuan Huang
 PDF
Dual-Process Optimization for Multi-Vehicle Route Planning and Parts Collection Sequencing
Ryota Higa, Takuro Kato, Florence Ho
 PDF
NARRATE: Versatile Language Architecture for Optimal Control in Robotics
Seif Ismail, Antonio Arbues, Ryan Cotterell, René Zurbrügg, Carmen Amo Alonso
 PDF
An End-To-End Deep Reinforcement Learning Based Modular Task Allocation Framework for Autonomous Mobile Systems
Song Ma, Jingqing Ruan, Yali Du, Richard Bucknall, Yuanchang Liu
 PDF
Fine-Tuning the Diffusion Model and Distilling Informative Priors for Sparse-View 3D Reconstruction
Jiadong Tang, Yu Gao, Tianji Jiang, Yi Yang, Mengyin Fu
 PDF
Dynamic Throwing with Robotic Material Handling Machines
Lennart Werner, Fang Nan, Pol Eyschen, Filippo Alberto Spinelli, Hongyi Yang, Marco Hutter
 PDF
Reconciling Conflicting Intents: Bidirectional Trust-Based Variable Autonomy for Mobile Robots
Yinglin Li, Rongxin Cui, Weisheng Yan, shi zhang, Chenguang Yang
 PDF
An Intelligent Robotic System for Perceptive Pancake Batter Stirring and Precise Pouring
Xinyuan Luo, Shengmiao Jin, Hung-Jui Huang, Wenzhen Yuan
 PDF
RoboGuardZ: A Scalable Zero-Shot Framework for Zero-Day Malware Detection in Robots
UPINDER KAUR, Berkay Celik, Richard Voyles
 PDF
An Open Source Dual Purpose Acrobot and Pendubot Platform for Benchmarking Control Algorithms for Underactuated Robotics
Felix Wiebe, Shivesh Kumar, Lasse Shala, Shubham Vyas, Mahdi Javadi, Frank Kirchner
 PDF
CompdVision: Combining Near-Field 3D Visual and Tactile Sensing Using a Compact Compound-Eye Imaging System
Lifan Luo, Boyang Zhang, Zhijie Peng, Yik Kin Cheung, Guanlan Zhang, Zhigang Li, Michael Yu Wang, Hongyu Yu
 PDF
Bird's-Eye-View Trajectory Planning of Multiple Robots using Continuous Deep Reinforcement Learning and Model Predictive Control
Kristian Ceder, Ze Zhang, Adam Burman, Ilya Kuangaliyev, Krister Mattsson, Gabriel Nyman, Arvid Petersén, Lukas Wisell, Knut Akesson
 PDF
Visual Attention Based Cognitive Human�Robot Collaboration for Pedicle Screw Placement in Robot-Assisted Orthopedic Surgery
Chen Chen, Qikai Zou, Yuhang Song, Mingrui Yu, Shiji Song, Xiang LI
 PDF
CBFkit: A Control Barrier Function Toolbox for Robotics Applications
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov
 PDF
GSRM: Building Roadmaps for Query-Efficient and Near-Optimal Path Planning Using a Reaction Diffusion System
Christian Henkel, Marc Toussaint, Wolfgang Hoenig
 PDF
Harnessing Symmetry Breaking in Soft Robotics: A Novel Approach for Underactuated Fingers
Ryman Hashem, Toby Howison, Agostino Stilli, Danail Stoyanov, Peter XU, Fumiya Iida
 PDF
RCAL: A Lightweight Road Cognition and Automated Labeling System for Autonomous Driving Scenarios
Jiancheng Chen, Chao Yu, Huayou Wang, Kun Liu, Yifei Zhan, Xianpeng Lang, Changliang Xue
 PDF
FF-SRL: High Performance GPU-Based Surgical Simulation for Robot Learning
Diego Dall'Alba, Michał Naskręt, Sabina Kamińska, Przemyslaw Korzeniowski
 PDF
Language-Guided Pattern Formation for Swarm Robotics with Multi-Agent Reinforcement Learning
Hsu-Shen Liu, So Kuroki, Tadashi Kozuno, Wei-Fang Sun, Chun-Yi Lee
 PDF
RADAR: Robotics Assembly by Demonstration Via Augmented Reality
Wenhao Yang, Shi Bai, Yunbo Zhang
 PDF
Towards Human-Centered Construction Robotics: A Reinforcement Learning-Driven Companion Robot for Contextually Assisting Carpentry Workers
Yuning Wu, Jiaying Wei, Jean Oh, Daniel Cardoso Llach
 PDF
A Robotic Mediation Device for Skill Assessment and Training During Colonoscopy
Olivia Richards, Elan Ahronovich, Neel Shihora, Ahmet Yildiz, Jumana Atoum, Jie Ying Wu, Keith Obstein, Nabil Simaan
 PDF
Calibration-Free Vision-Assisted Container Loading of RTG Cranes
Jianbing Yang, Yuanzhe Wang, Hao Jiang, Bin Zhao, Yiming Li, Danwei Wang
 PDF
A Robot Kinematics Model Estimation Using Inertial Sensors for On-Site Building Robotics
Hiroya Sato, Tasuku Makabe, Iori Yanokura, Naoya Yamaguchi, Kei Okada, Masayuki Inaba
 PDF
View Planning for Grape Harvesting Based on Active Vision Strategy under Occlusion
Tao Yi, DONGBO ZHANG, Lufeng Luo, Jiangtao Luo
 PDF
Underwater Vibration Adhesion by Frequency-Controlled Rigid Disc for Underwater Robotics Grasping
Sun, Yi,yangyi, hu,Yang, Yi,Wang, Min,Ding, Jiheng,Pu, Huayan,Jia, Wenchuan
 PDF
3D-BLUE: Backscatter Localization for Underwater Robotics
Sayed Saad Afzal, Wei-Tung Chen, Fadel Adib
 PDF