Research Analyzer

IROS 2024

1856 papers · 0 AI summaries · 2024

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 24 of 38
Title & Authors Actions
NF-SLAM: Effective, Normalizing Flow-Supported Neural Field Representations for Object-Level Visual SLAM in Automotive Applications
Li Cui, Yang Ding, Richard Hartley, Zirui Xie, Laurent Kneip, ZHENGHUA YU
 View PDF
Online Adaptation of Learned Vehicle Dynamics Model with Meta-Learning Approach
Yuki Tsuchiya, Thomas Balch, Paul Drews, Guy Rosman
 View PDF
Uncertainty-Aware Semi-Supervised Semantic Key Point Detection Via Bundle Adjustment
Kai Li, Yin Zhang, Shiyu Zhao
 View PDF
Shared Autonomy of a Robotic Manipulator for Grasping under Human Intent Uncertainty Using POMDPs
J-Anne Yow, Neha Priyadarshini Garg, Wei Tech Ang
 View PDF
Compliant Blind Handover Control for Human-Robot Collaboration
Davide Ferrari, Andrea Pupa, Cristian Secchi
 View PDF
Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning
Naman Saxena, Sandeep Gorantla, Pushpak Jagtap
 View PDF
Active Learning-augmented Intention-aware Obstacle Avoidance of Autonomous Surface Vehicles in High-traffic Waters
Mingi Jeong, Arihant Chadda, Alberto Quattrini Li
 View PDF
Learning a Pre-Grasp Manipulation Policy to Effectively Retrieve a Target in Dense Clutter
Marios Kiatos, Leonidas Koutras, Iason Sarantopoulos, Zoe Doulgeri
 View PDF
Visual-Geometry GP-Based Navigable Space for Autonomous Navigation
Mahmoud Ali, Durgakant Pushp, Zheng Chen, Lantao Liu
 View PDF
MADE: Malicious Agent Detection for Robust Multi-Agent Collaborative Perception
Yangheng Zhao, Zhen Xiang, Sheng Yin, Xianghe Pang, Yanfeng Wang, Siheng Chen
 View PDF
EnduRL: Enhancing Safety, Stability, and Efficiency of Mixed Traffic under Real-World Perturbations Via Reinforcement Learning
Bibek Poudel, Weizi Li, Kevin Heaslip
 View PDF
Similarity Distance-Based Label Assignment for Tiny Object Detection
Shuohao Shi, qiang fang, Tong Zhao, Xin Xu
 View PDF
Multi-Fingered End-Effector Grasp Reflex Modeling for One-Shot Tactile Servoing in Tool Manipulation Tasks
Emily Sheetz, Misha Savchenko, Emma Zemler, Abbas Presswala, Andrew Crouch, Shaun Azimi, Benjamin Kuipers
 View PDF
Fast Swarming of UAVs in GNSS-Denied Feature-Poor Environments without Explicit Communication
Jiri Horyna, Vit Kratky, Vaclav Pritzl, Tomas Baca, Eliseo Ferrante, Martin Saska
 View PDF
Gravity-Aware Grasp Generation with Implicit Grasp Mode Selection for Underactuated Hands
Tianyi Ko, Takuya Ikeda, Thomas Stewart, Robert Lee, Koichi Nishiwaki
 View PDF
GesGPT: Speech Gesture Synthesis with Text Parsing from ChatGPT
Nan Gao, Zeyu Zhao, Zhi Zeng, Shuwu Zhang, Dongdong Weng, Yihua Bao
 View PDF
Frontier-Based Exploration for Multi-Robot Rendezvous in Communication-Restricted Unknown Environments
Mauro Tellaroli, Matteo Luperto, Michele Antonazzi, Nicola Basilico
 View PDF
IndoorSim-To-OutdoorReal: Learning to Navigate Outdoors without Any Outdoor Experience
Joanne Truong, April Zitkovich, Sonia Chernova, Dhruv Batra, Tingnan Zhang, Jie Tan, Wenhao Yu
 View PDF
Valuing Attrition in a Fleet of Robots Used As Path-Based Sensors for Gathering Information in a Communications Restricted Environment
Loy McGuire, Michael W. Otte, Donald Sofge
 View PDF
Modular Multi-Level Replanning TAMP Framework for Dynamic Environment
Tao Lin, Chengfei Yue, Ziran Liu, Xibin Cao
 View PDF
Robust Cooperative Localization with Failed Communication and Biased Measurements
Ronghai He, Yunxiao Shan, Kai Huang
 View PDF
FI-SLAM: Feature Fusion and Instance Reconstruction for Neural Implicit SLAM
Xingshuo Wang, Yunzhou Zhang, Zhiyao Zhang, Mengting Wang, Zhiteng Li, Xuanhua Chen
 View PDF
Interactive Multi-Stiffness Mixed Reality Interface: Controlling and Visualizing Robot and Environment Stiffness
Alejandro Díaz Rosales, Jose Rodriguez-Nogueira, Eloise Matheson, David A. Abbink, Luka Peternel
 View PDF
G.O.G: A Versatile Gripper-On-Gripper Design for Bimanual Cloth Manipulation with a Single Robotic Arm
Dongmyoung Lee, Wei Chen, Xiaoshuai Chen, Nicolas Rojas
 View PDF
KLILO: Kalman Filter Based LiDAR-Inertial-Leg Odometry for Legged Robots
Shaohang Xu, Wentao Zhang, Lijun Zhu
 View PDF
Sim2Real Transfer for Audio-Visual Navigation with Frequency-Adaptive Acoustic Field Prediction
Changan Chen Chen, Jordi Ramos Chen, Anshul Tomar, Kristen Grauman
 View PDF
Every Dataset Counts: Scaling up Monocular 3D Object Detection with Joint Datasets Training
Fulong Ma, Xiaoyang YAN, Guoyang ZHAO, Xiaojie Xu, Yuxuan LIU, Jun Ma, Ming Liu
 View PDF
Online Rotor Fault Detection and Isolation for Vertical Takeoff and Landing Vehicles
Jiaqi Lian, Neeraj Gandhi, Yifan Wang, Linh Thi Xuan Phan
 View PDF
Understanding Robot Minds: Leveraging Machine Teaching for Transparent Human-Robot Collaboration across Diverse Groups
Suresh Kumaar Jayaraman, Reid Simmons, Aaron Steinfeld, Henny Admoni
 View PDF
Simultaneous Super-Resolution and Depth Estimation for Satellite Images Based on Diffusion Model
Yuwei Zhou, Yangming Lee
 View PDF
Dynamically Modulating Visual Place Recognition Sequence Length for Minimum Acceptable Performance Scenarios
Connor Malone, Ankit Vora, Thierry Peynot, Michael J Milford
 View PDF
Efficient Motion Prediction: A Lightweight & Accurate Trajectory Prediction Model with Fast Training and Inference Speed
Alexander Prutsch, Horst Bischof, Horst Possegger
 View PDF
METAVerse: Meta-Learning Traversability Cost Map for Off-Road Navigation
Junwon Seo, Taekyung Kim, Seongyong Ahn, Kiho Kwak
 View PDF
User-Customizable Shared Control for Robot Teleoperation Via Virtual Reality
Rui Luo, Mark Zolotas, Drake Moore, Taskin Padir
 View PDF
CAIS: Culvert Autonomous Inspection Robotic System
Chuong Le, Pratik Walunj, An Nguyen, Yong Zhou, Thanh Binh Nguyen, Thang Nguyen, Anton Netchaev, Hung La
 View PDF
Modular Meshed Ultra-Wideband Aided Inertial Navigation with Robust Anchor Calibration
Roland Jung, Luca Santoro, Davide Brunelli, Daniele Fontanelli, Stephan Weiss
 View PDF
DSVT: Dynamic 3D Surround View for Tractor-Trailer Vehicles Based on Real-Time Pose Estimation with Drop Model
Zhipeng Dong, Mengyin Fu, Hao Liang, Chunhui Zhu, Yi Yang
 View PDF
Robust Upper Limb Kinematic Reconstruction Using a RGB-D Camera
Salvatore Maria Li Gioi, Giuseppe Loianno, Francesca Cordella
 View PDF
A Lightweight De-Confounding Transformer for Image Captioning in Wearable Assistive Navigation Device
Zhengcai Cao, Ji Xia, Yinbin Shi, MengChu Zhou
 View PDF
Safe Control for Navigation in Cluttered Space Using Multiple Lyapunov-Based Control Barrier Functions
Inkyu Jang, H. Jin Kim
 View PDF
Magnetic Tactile Sensor with Load Tolerance and Flexibility Using Frame Structures for Estimating Triaxial Contact Force Distribution of Humanoid
Takuma Hiraoka, Ren Kunita, Kunio Kojima, Naoki Hiraoka, Masanori Konishi, Tasuku Makabe, Annan Tang, Kei Okada, Masayuki Inaba
 View PDF
Robust Imitation Learning for Mobile Manipulator Focusing on Task-Related Viewpoints and Regions
Yutaro Ishida, Yuki Noguchi, Takayuki Kanai, Kazuhiro Shintani, Hiroshi Bito
 View PDF
Robust Precision Landing of a Quadrotor with Online Temporal Scaling Adaptation of Dynamic Movement Primitives
Kongkiat Rothomphiwat, Prakarn Jaroonsorn, Pakpoom Kriengkomol, Poramate Manoonpong
 View PDF
Incremental Learning of Robotic Manipulation Tasks through Virtual Reality Demonstrations
Giuseppe Rauso, Riccardo Caccavale, Alberto Finzi
 View PDF
Pose Graph Optimization Over Planar Unit Dual Quaternions: Improved Accuracy with Provably Convergent Riemannian Optimization
William Warke, J Humberto Ramos, Prashant Ganesh, Kevin Brink, Matthew Hale
 View PDF
Improved Contact Stability for Admittance Control of Industrial Robots with Inverse Model Compensation
Kangwagye Samuel, Kevin Haninger, Sami Haddadin, Sehoon Oh
 View PDF
Pedicle Drilling Planning Transfer for Spine Surgery Using Functional Map Correspondences
Lilyan Leblanc, Raphael Vialle, Cristiana de Farias, Elie SAGHBINY, Naresh Marturi, Brahim TAMADAZTE
 View PDF
Intelligent Fish Detection System with Similarity-Aware Transformer
Shengchen Li, Haobo Zuo, Changhong Fu, Zhiyong Wang, Zhiqiang Xu
 View PDF
Interruptive Language Control of Bipedal Locomotion
Ashish Malik, Stefan Lee, Alan Fern
 View PDF
ManiFoundation Model for General-Purpose Robotic Manipulation of Contact Synthesis with Arbitrary Objects and Robots
Zhixuan Xu, Chongkai Gao, Zixuan Liu, Gang Yang, Chenrui Tie, Haozhuo Zheng, Haoyu Zhou, Peng Weikun, Debang Wang, Tianrun Hu, Tianyi Chen, Zhouliang Yu, Lin Shao
 View PDF