Research Analyzer

ICRA 2023

1655 papers · 0 AI summaries · 2023

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 24 of 33
Title & Authors Actions
Cable Routing and Assembly Using Tactile-Driven Motion Primitives
Achu Wilson, Helen Jiang, Wenzhao Lian, Wenzhen Yuan
 View PDF
Proficiency Self-Assessment without Breaking the Robot: Anomaly Detection Using Assumption-Alignment Tracking from Safe Experiments
Xuan Cao, Jacob W. Crandall, Ethan Pedersen, Alvika Gautam, Michael A. Goodrich
 View PDF
Factor Graph Fusion of Raw GNSS Sensing with IMU and Lidar for Precise Robot Localization without a Base Station
Jonas Beuchert, Marco Camurri, Maurice Fallon
 View PDF
Credible Online Dynamics Learning for Hybrid UAVs
David Rohr, Nicholas Lawrance, Olov Andersson, Roland Siegwart
 View PDF
Energy-Based Models for Cross-Modal Localization Using Convolutional Transformers
Alan Wu, Michael S. Ryoo
 View PDF
Actuator Capabilities Aware Limitation for TDPA Passivity Controller Action
Francesco Porcini, Alessandro Filippeschi, Massimiliano Solazzi, Carlo Alberto Avizzano, Antonio Frisoli
 View PDF
Active Metric-Semantic Mapping by Multiple Aerial Robots
Xu Liu, Ankit Prabhu, Fernando Cladera Ojeda, Ian Miller, Lifeng Zhou, Camillo Jose Taylor, Vijay Kumar
 View PDF
Asynchronous State Estimation of Simultaneous Ego-motion Estimation and Multiple Object Tracking for LiDAR-Inertial Odometry
Yu-Kai Lin, Wen-Chieh Lin, Chieh-Chih Wang
 View PDF
Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
Namasivayam Kalithasan, Himanshu Gaurav Singh, Vishal Bindal, Arnav Tuli, Vishwajeet Agrawal, Rahul Jain, Parag Singla, Rohan Paul
 View PDF
A Distributed Online Optimization Strategy for Cooperative Robotic Surveillance
Lorenzo Pichierri, Guido Carnevale, Lorenzo Sforni, Andrea Testa, Giuseppe Notarstefano
 View PDF
A Tactile-Enabled Hybrid Rigid-Soft Continuum Manipulator for Forceful Enveloping Grasps Via Scale Invariant Desgin
Ian Taylor, Maheera Bawa, Alberto Rodriguez
 View PDF
Multi-Kernel Maximum Correntropy Kalman Filter for Orientation Estimation
Shilei Li, Lijing Li, Dawei Shi, Wulin Zou, Pu Duan, Ling Shi
 View PDF
Interpretable and Flexible Target-Conditioned Neural Planners for Autonomous Vehicles
Haolan Liu, Jishen Zhao, Liangjun Zhang
 View PDF
A Stack-Of-Tasks Approach Combined with Behavior Trees: A New Framework for Robot Control
David Cáceres Domínguez, Marco Iannotta, Johannes A. Stork, Erik Schaffernicht, Todor Stoyanov
 View PDF
Induced Vertex Motion As a Performance Measure for Surgery in Confined Spaces
Neel Shihora, Nabil Simaan
 View PDF
GNM: A General Navigation Model to Drive Any Robot
Dhruv Shah, Ajay Sridhar, Arjun Bhorkar, Noriaki Hirose, Sergey Levine
 View PDF
FlowMap: Path Generation for Automated Vehicles in Open Space Using Traffic Flow
Wenchao Ding, Jieru Zhao, Yubin Chu, Haihui Huang, Tong Qin, Chunjing XU, Yuxiang Guan, Zhongxue Gan
 View PDF
The Third Generation (G3) Dual-Modal and Dual Sensing Mechanisms (DMDSM) Pretouch Sensor for Robotic Grasping
Cheng Fang, Shuangliang Li, Di Wang, Fengzhi Guo, Dezhen Song, Jun Zou
 View PDF
Ex(plainable) Machina: How Social-Implicit XAI Affects Complex Human-Robot Teaming Tasks
Marco Matarese, Francesca Cocchella, Francesco Rea, Alessandra Sciutti
 View PDF
Autonomous Dozer Sand Grading under Localization Uncertainties
Yakov Miron, Yuval Goldfracht, Chana Ross, Dotan Di Castro, Itzik Klein
 View PDF
Orbeez-SLAM: A Real-Time Monocular Visual SLAM with ORB Features and NeRF-Realized Mapping
Chi-Ming Chung, Yang-Che Tseng, Ya-Ching Hsu, Xiang-Qian Shi, Yun-Hung Hua, Jia-Fong Yeh, Yi-Ting Chen, Wen-chin Chen, Winston Hsu
 View PDF
Decoupling Skill Learning from Robotic Control for Generalizable Object Manipulation
Kai Lu, Bo Yang, Bing Wang, Andrew Markham
 View PDF
A Compact, Two-Part Torsion Spring Architecture
Zachary P Bons, Gray Thomas, Luke Mooney, Elliott Rouse
 View PDF
Anticipatory Planning: Improving Long-Lived Planning by Estimating Expected Cost of Future Tasks
Roshan Dhakal, Gregory Stein, Md Ridwan Hossain Talukder
 View PDF
Risk-Aware Fast Trajectory Planner for Uncertain Environments Based on Probabilistic Surrogate Reliability and Risk Contours
Guobiao Wang
 View PDF
UPLIFT: Unsupervised Person Labeling and Identification Via Cooperative Learning with Mobile Robots
Yu-Chee Tseng, Ting-Yuan Ke, Fang-Jing Wu
 View PDF
Multi-Modal Learning and Relaxation of Physical Conflict for an Exoskeleton Robot with Proprioceptive Perception
Xuan Zhang, Yana Shu, Yu Chen, Gong Chen, jing ye, Xiang LI
 View PDF
Distributed Data-Driven Predictive Control for Multi-Agent Collaborative Legged Locomotion
Randall Fawcett, Leila Amanzadeh, Jeeseop Kim, Aaron Ames, Kaveh Akbari Hamed
 View PDF
Segregator: Global Point Cloud Registration with Semantic and Geometric Cues
Pengyu Yin, Shenghai Yuan, CAO HAOZHI, XINGYU JI, Shuyang Zhang, Lihua Xie
 View PDF
DLOFTBs � Fast Tracking of Deformable Linear Objects with B-Splines
Piotr Kicki, Amadeusz Szymko, Krzysztof, Tadeusz Walas
 View PDF
SM/VIO: Robust Underwater State Estimation Switching between Model-Based and Visual Inertial Odometry
Bharat Joshi, Hunter Damron, Sharmin Rahman, Ioannis Rekleitis
 View PDF
Disturbance Observer Based Contact Detection for Motorized Hydraulic Actuators
Chunpeng Wang, John Peter Whitney
 View PDF
Exploiting Intrinsic Kinematic Null Space for Supernumerary Robotic Limbs Control
Tommaso Lisini Baldi, Nicole D'Aurizio, Sergio Gurgone, Daniele Borzelli, Andrea d'Avella, Domenico Prattichizzo
 View PDF
A New Sensation: Digital Strain Sensing for Disturbance Detection in Flapping Wing Micro Aerial Vehicles
Regan Kubicek, Mahnoush Babaei, Alison Weber, Sarah Bergbreiter
 View PDF
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals Using Simplified Belief Guides
Qi Heng Ho, Zachary Sunberg, Morteza Lahijanian
 View PDF
Edge-Guided Multi-Domain RGB-To-TIR Image Translation for Training Vision Tasks with Challenging Labels
DongGuw Lee, Myung-Hwan Jeon, Younggun Cho, Ayoung Kim
 View PDF
Efficiently Learning Small Policies for Locomotion and Manipulation
Shashank Hegde, Gaurav Sukhatme
 View PDF
High Resolution Point Clouds from mmWave Radar
Akarsh Prabhakara, TAO JIN, Arnav Das, Gantavya Bhatt, Lilly Kumari, Elahe soltanaghai, Jeff Bilmes, Swarun Kumar, Anthony Rowe
 View PDF
Autonomous Control for Orographic Soaring of Fixed-Wing UAVs
Tom Suys, Sunyou Hwang, Guido de Croon, Bart Remes
 View PDF
Estimating the Motion of Drawers from Sound
Manuel Baum, Amelie Froessl, Aravind Battaje, Oliver Brock
 View PDF
SonicFinger: Pre-Touch and Contact Detection Tactile Sensorfor Reactive Pregrasping
Siddharth Rupavatharam, Caleb Escobedo, Daewon Lee, Colin Prepscius, Lawrence Jackel, Richard Howard, Volkan Isler
 View PDF
On the Use of Torque Measurement in Centroidal State Estimation
Shahram Khorshidi, Ahmad Gazar, Nicholas Rotella, Maximilien Naveau, Ludovic Righetti, Maren Bennewitz, Majid Khadiv
 View PDF
Efficient Preference-Based Reinforcement Learning Using Learned Dynamics Models
Yi Liu, Gaurav Datta, Ellen Novoseller, Daniel Brown
 View PDF
Anthropomorphic Robot Hand Using the Principle of Sweat and Fingerprints of Human Hands
Donghyun Kim, Junmo Yang, Dongwon Yun
 View PDF
Adaptive Based Assist-As-Needed Control Strategy for Ankle Movement Assistance
Rami Jradi, Hala Rifai, Yacine Amirat, Samer Mohammed
 View PDF
Operating with Inaccurate Models by Integrating Control-Level Discrepancy Information into Planning
Ellis Ratner, Claire Tomlin, Maxim Likhachev
 View PDF
Decentralised Active Perception in Continuous Action Spaces for the Coordinated Escort Problem
Rhett Hull, Ki Myung Brian Lee, Jennifer Wakulicz, Chanyeol Yoo, James McMahon, Bryan Clarke, Stuart David Anstee, Jijoong Kim, Robert Fitch
 View PDF
Extraneousness-Aware Imitation Learning
Ray Chen Zheng, Kaizhe Hu, Zhecheng Yuan, Boyuan Chen, Huazhe Xu
 View PDF
Safe Reinforcement Learning of Dynamic High-Dimensional Robotic Tasks: Navigation, Manipulation, Interaction
Puze Liu, Kuo Zhang, Davide Tateo, Snehal Jauhri, Zhiyuan Hu, Jan Peters, Georgia Chalvatzaki
 View PDF
Robust, High-Rate Trajectory Tracking on Insect-Scale Soft-Actuated Aerial Robots with Deep-Learned Tube MPC
Andrea Tagliabue, Yi-Hsuan Hsiao, Urban Fasel, J. Nathan Kutz, Steven Brunton, YuFeng Chen, Jonathan How
 View PDF