Research Analyzer

ICRA 2023

1655 papers · 0 AI summaries · 2023

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 16 of 33
Title & Authors Actions
Mechanical Intelligence for Prehensile In-Hand Manipulation of Spatial Trajectories
Qiujie Lu, Zhongxue Gan, Xinran Wang, Guochao Bai, Zhuang Zhang, Nicolas Rojas
 View PDF
Model Learning with Backlash Compensation for a Tendon-Driven Surgical Robot
Francesco Cursi, Weibang Bai, Eric Yeatman, Petar Kormushev
 View PDF
Safety Evaluation of Robot Systems via Uncertainty Quantification
Woo-Jeong Baek, Torsten Kroeger
 View PDF
Object-Based SLAM Utilizing Unambiguous Pose Parameters Considering General Symmetry Types
Taekbeom Lee, Youngseok Jang, H. Jin Kim
 View PDF
Learning Augmented, Multi-Robot Long-Horizon Navigation in Partially Mapped Environments
Abhish Khanal, Gregory Stein
 View PDF
Household Clothing Set and Benchmarks for Characterising End-Effector Cloth Manipulation
Angus Benedict Clark, Luke Cramphorn, Michal Rachowiecki, Austin Gregg-Smith
 View PDF
LATITUDE: Robotic Global Localization with Truncated Dynamic Low-Pass Filter in City-Scale NeRF
Zhenxin Zhu, yuantao Chen, Zirui Wu, Chao Hou, Yongliang Shi, Chuxuan Li, Pengfei Li, Guyue Zhou, Hao Zhao
 View PDF
A Robotic Torso Joint with Adjustable Linear Spring Mechanism for Natural Dynamic Motions in a Differential-Elastic Arrangement
Jens Reinecke, Alexander Dietrich, Anton Shu, Bastian Deutschmann, Marco Hutter
 View PDF
Switching Attention in Time-Varying Environments Via Bayesian Inference of Abstractions
Meghan Booker, Anirudha Majumdar
 View PDF
Deep Unsupervised Visual Odometry Via Bundle Adjusted Pose Graph Optimization
Guoyu Lu
 View PDF
Skill-Based Robot Programming in Mixed Reality with Ad-Hoc Validation Using a Force-Enabled Digital Twin
Jan Krieglstein, Gesche Held, Balázs András Bálint, Frank Nägele, Werner Kraus
 View PDF
DQN-Based On-Line Path Planning Method for Automatic Navigation of Miniature Robots
Jialin JIANG, Lidong Yang, Li Zhang
 View PDF
Kinematic Analysis and Design of a Novel (6+3)-DoF Parallel Robot with Fixed Actuators
Arda Yigit, David Breton, Zhou Zhou, Thierry Laliberte, Clement Gosselin
 View PDF
DriveIRL: Drive in Real Life with Inverse Reinforcement Learning
Tung Phan-Minh, Forbes Howington, Ting-Sheng Chu, Momchil Tomov, Robert Beaudoin, Sang Uk Lee, Nanxiang Li, Caglayan Dicle, Samuel Findler, Francisco Suárez-Ruiz, Bo Yang, Sammy Omari, Eric Wolff
 View PDF
DenseTact 2.0: Optical Tactile Sensor for Shape and Force Reconstruction
Won Kyung Do, Bianca Jurewicz, Monroe Kennedy
 View PDF
Design and Validation of a Polycentric Hybrid Knee Prosthesis with Electromagnet-Controlled Mode Transition
Xu Wang, Haohua Xiu, Yao Zhang, Wei Liang, Wei Chen, Guowu Wei, Lei Ren, Luquan Ren
 View PDF
Cross-Domain Transfer Learning and State Inference for Soft Robots via a Semi-supervised Sequential Variational Bayes Framework
Shageenderan Sapai, Junn Yong Loo, Ze Yang Ding, Chee Pin Tan, Raphael Phan, Vishnu Monn Baskaran, Surya G. Nurzaman
 View PDF
Multi-Robot Mission Planning in Dynamic Semantic Environments
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
 View PDF
RAST: Risk-Aware Spatio-Temporal Safety Corridors for MAV Navigation in Dynamic Uncertain Environments
Gang Chen, Siyuan Wu, Moji Shi, Wei Dong, Hai Zhu, Javier Alonso-Mora
 View PDF
A System for Generalized 3D Multi-Object Search
Kaiyu Zheng, Anirudha Paul, Stefanie Tellex
 View PDF
Analyzing Infrastructure LiDAR Placement with Realistic LiDAR Simulation Library
Xinyu Cai, Wentao Jiang, Runsheng Xu, Wenquan Zhao, Jiaqi Ma, Si Liu, Yikang LI
 View PDF
Design of an Energy-Aware Cartesian Impedance Controller for Collaborative Disassembly
Sebastian Hjorth, Edoardo Lamon, Dimitrios Chrysostomou, Arash Ajoudani
 View PDF
Autonomous Intelligent Navigation for Flexible Endoscopy Using Monocular Depth Guidance and 3-D Shape Planning
Yiang Lu, ruofeng wei, Bin LI, Wei Chen, Jianshu Zhou, Qi Dou, Dong Sun, Yunhui Liu
 View PDF
Multi-State Tightly-Coupled EKF-Based Radar-Inertial Odometry with Persistent Landmarks
Jan Michalczyk, Roland Jung, Christian Brommer, Stephan Weiss
 View PDF
A Decoupled and Linear Framework for Global Outlier Rejection Over Planar Pose Graph
Tianyue Wu, Fei Gao
 View PDF
Improving Self-Consistency in Underwater Mapping through Laser-Based Loop Closure
Thomas Hitchcox, James Richard Forbes
 View PDF
CUREE: A Curious Underwater Robot for Ecosystem Exploration
Yogesh Girdhar, Nathan McGuire, Levi Cai, Stewart Jamieson, Seth McCammon, John E. San Soucie, Jessica Todd, Brian Claus, T. Aran Mooney
 View PDF
Towards True Lossless Sparse Communication in Multi-Agent Systems
Seth Karten, Mycal Tucker, Siva Kailas, Katia Sycara
 View PDF
NVRadarNet: Real-Time Radar Obstacle and Free Space Detection for Autonomous Driving
Alexander Popov, Patrik Gebhardt, Ke Chen, Ryan Oldja, Hee Seok Lee, Shane, Michael Murray, ruchi bhargava, Nikolai Smolyanskiy
 View PDF
Multimodal Time Series Learning of Robots Based on Distributed and Integrated Modalities: Verification with a Simulator and Actual Robots
Hideyuki Ichiwara, Hiroshi Ito, Kenjiro Yamamoto, Hiroki Mori, Tetsuya Ogata
 View PDF
Finding the Right Place: Sensor Placement for UWB Time Difference of Arrival Localization in Cluttered Indoor Environments
Wenda Zhao, Abhishek Goudar, Angela P. Schoellig
 View PDF
Graph Neural Networks for Multi-Robot Active Information Acquisition
Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J. Pappas
 View PDF
The SLAM Hive Benchmarking Suite
Yuanyuan Yang, Bowen Xu, Yinjie Li, Sören Schwertfeger
 View PDF
3D Reconstruction of Tibia and Fibula Using One General Model and Two X-Ray Images
Kai Pan, Shuai Zhang, Liang Zhao, Shoudong Huang, Yanhao Zhang, hua wang, Qi Luo
 View PDF
Lossless SIMD Compression of LiDAR Range and Attribute Scan Sequences
Jeff Ford, Jordan Ford
 View PDF
Risk-Aware Spatio-Temporal Logic Planning in Gaussian Belief Spaces
Matti Vahs, Christian Pek, Jana Tumova
 View PDF
Probabilistic Plane Extraction and Modeling for Active Visual-Inertial Mapping
Mitchell Usayiwevu, Fouad Sukkar, Teresa A. Vidal-Calleja
 View PDF
Distributed Model Predictive Formation Control with Gait Synchronization for Multiple Quadruped Robots
Shaohang Xu, Wentao Zhang, Lijun Zhu, Chin Pang Ho
 View PDF
Experimental Evaluation of a Method for Improving Experiment Design in Robot Identification
Stefanie Antonia Zimmermann, Martin Enqvist, Svante Gunnarsson, Stig Moberg, Mikael Norrlöf
 View PDF
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors
Christopher Morse, Lu Feng, Matthew Dwyer, Sebastian Elbaum
 View PDF
Input-Output Boundedness of a Magnetically-Actuated Helical Device
Leendert-Jan Wouter Ligtenberg, Islam S.M. Khalil
 View PDF
An Anthropomorphic Robotic Finger with Innate Human-Finger-Like Biomechanical Advantages Part I: Design, Ligamentous Joint and Extensor Mechanism
Zhu, Yingmin,Wei, Guowu,Ren, Lei,Luo, Zirong,Shang, Jianzhong
 View PDF
Asking for Help: Failure Prediction in Behavioral Cloning through Value Approximation
Cem Gokmen, Mohi Khansari, Daniel Ho
 View PDF
Tactile Identification of Object Shapes Via In-Hand Manipulation with a Minimalistic Barometric Tactile Sensor Array
Xin Zhou, Adam Spiers
 View PDF
Real-Time Navigation for Autonomous Surface Vehicles in Ice-Covered Waters
Rodrigue de Schaetzen, Alexander Botros, Robert Gash, Kevin Murrant, Stephen L. Smith
 View PDF
The Role of Symmetry in Constructing Geometric Flat Outputs for Free-Flying Robotic Systems
Jake Welde, Matthew Kvalheim, Vijay Kumar
 View PDF
Getting Air: Modelling and Control of a Hybrid Pneumatic-Electric Legged Robot
Christopher Mailer, Stacey Leigh Shield, Reuben Govender, Amir Patel
 View PDF
Unsupervised Quality Prediction for Improved Single-Frame and Weighted Sequential Visual Place Recognition
Helen Carson, Jason Ford, Michael J Milford
 View PDF
Particle Filters in Latent Space for Robust Deformable Linear Object Tracking
Yuxuan Yang, Johannes A. Stork, Todor Stoyanov
 View PDF
A Tensegrity-Based Inchworm-Like Robot for Crawling in Pipes with Varying Diameters
Yixiang Liu, Xiaolin Dai, Zhe Wang, Qing Bi, Rui Song, Jie Zhao, Yibin Li
 View PDF