Research Analyzer

ICRA 2023

1655 papers · 0 AI summaries · 2023

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 30 of 33
Title & Authors Actions
Experimental Study on Accurate Calibration for Industrial Robot Via Integrated Extended Kalman and Beetle Antennae Search
Zhibing Li, Shuai Li, Xin Luo
 View PDF
GRM: Gradient Rectification Module for Visual Place Retrieval
BOSHU LEI, WENJIE DING, Limeng Qiao, Xi Qiu
 View PDF
Gaussian Mixture Midway-Merge for Object SLAM with Pose Ambiguity
Jung, Jae Hyung,Park, Chan Gook
 View PDF
NeRF-Loc: Visual Localization with Conditional Neural Radiance Field
Jianlin Liu, Qiang Nie, Yong Liu, Chengjie Wang
 View PDF
Computational Design of 3D-Printable Compliant Mechanisms with Bio-Inspired Sliding Joints
Felipe Velasquez, Bernhard Thomaszewski, Stelian Coros
 View PDF
A Hybrid Quadratic Programming Framework for Real-Time Embedded Safety-Critical Control
Ryan Bena, Sushmit Hossain, Buyun Chen, Wei Wu, Quan Nguyen
 View PDF
Output Mode Switching for Parallel Five-Bar Manipulators Using a Graph-Based Path Planner
Parker Edwards, Aravind Baskar, Caroline Hills, Mark Plecnik, Jonathan Hauenstein
 View PDF
Just Round: Quantized Observation Spaces Enable Memory Efficient Learning of Dynamic Locomotion
Lev Grossman, Brian Plancher
 View PDF
Large-Dimensional Multibody Dynamics Simulation Using Contact Nodalization and Diagonalization
Lee, Jeongmin,Lee, Minji,Lee, Dongjun
 View PDF
Twisting Spine or Rigid Torso: Exploring Quadrupedal Morphology Via Trajectory Optimization
J. Diego Caporale, Zeyuan Feng, Shane Rozen-Levy, Aja Carter, Daniel Koditschek
 View PDF
Autotuning Symbolic Optimization Fabrics for Trajectory Generation
Max Spahn, Javier Alonso-Mora
 View PDF
Learning Height for Top-Down Grasps with the DIGIT Sensor
Thais Bernardi, Yoann Fleytoux, Jean-Baptiste Mouret, Serena Ivaldi
 View PDF
A Robust Visual Servoing Controller for Anthropomorphic Manipulators with Field-Of-View Constraints and Swivel-Angle Motion
Jiao Jiang, Yaonan Wang, YIMING JIANG, He Xie, Haoran Tan, Hui Zhang
 View PDF
Model and Acceleration-Based Pursuit Controller for High Performance Autonomous Racing
Jonathan Becker, Nadine Imholz, Luca Schwarzenbach, Edoardo Ghignone, Nicolas Baumann, Michele Magno
 View PDF
Visuo-Tactile Recognition of Partial Point Clouds Using PointNet and Curriculum Learning
Christopher Parsons, Alessandro Albini, Daniele De Martini, Perla Maiolino
 View PDF
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
 View PDF
Interaction-Aware Trajectory Planning for Autonomous Vehicles with Analytic Integration of Neural Networks into Model Predictive Control
Piyush Gupta, David Isele, Donggun Lee, Sangjae Bae
 View PDF
Optimal Parameterized Joints Selection to Improve Motion Planning Performance of Redundant Manipulators
Bin Xie, Qingfeng Wang, Di Wu
 View PDF
Exploring Navigation Maps for Learning-Based Motion Prediction
Julian Schmidt, Julian Jordan, Franz Gritschneder, Thomas Monninger, Klaus Dietmayer
 View PDF
Robust Map Fusion with Visual Attention Utilizing Multi-Agent Rendezvous
Jaein Kim, Dong-Sig Han, Byoung-Tak Zhang
 View PDF
Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking
T. Kevin Best, Cara Gonzalez Welker, Elliott Rouse, Robert D. Gregg
 View PDF
Safe Real-World Autonomous Driving by Learning to Predict and Plan with a Mixture of Experts
Stefano Pini, Christian Perone, Aayush Ahuja, Ana Sofia Rufino Ferreira, Moritz Niendorf, Sergey Zagoruyko
 View PDF
System Configuration and Navigation of a Guide Dog Robot: Toward Animal Guide Dog-Level Guiding Work
Hochul Hwang, Tian Xia, Ibrahima Keita, Ken Suzuki, Joydeep Biswas, Sunghoon Ivan Lee, Donghyun Kim
 View PDF
Optimal Multi-Robot Coverage Path Planning for Agricultural Fields Using Motion Dynamics
Jahid Chowdhury Choton, Pavithra Prabhakar
 View PDF
A Moving Target Tracking System of Quadrotors with Visual-Inertial Localization
Ziyue Lin, Wenbo Xu, Wei Wang
 View PDF
Optimal Scheduling of Models and Horizons for Model Hierarchy Predictive Control
Charles Khazoom, Steve Heim, Daniel Gonzalez-Diaz, Sangbae Kim
 View PDF
Monocular Visual-Inertial Depth Estimation
Diana Wofk, Rene Ranftl, Matthias Müller, Vladlen Koltun
 View PDF
Momentum-Based Extended Kalman Filter for Thrust Estimation on Flying Multibody Robots
Hosameldin Awadalla Omer Mohamed, Gabriele Nava, Giuseppe L'Erario, Silvio Traversaro, Fabio Bergonti, Luca Fiorio, Punith Reddy Vanteddu, Francesco Braghin, Daniele Pucci
 View PDF
A General Locomotion Approach for a Novel Multi-Legged Spherical Robot
Dun Yang, Yunfei Liu, Yang Yu
 View PDF
An Optimized Portable Cable-Driven Haptic Robot Enables Free Motion and Hard Contact
Changqi Zhang, Cui Wang, Qingkai Yang, 6222034000034750285 Zhang
 View PDF
Perceiving Unseen 3D Objects by Poking the Objects
Linghao Chen, Yunzhou Song, Hujun Bao, Xiaowei Zhou
 View PDF
Learning Deep Neural Network Controller for Path Following of Unicycle Robots
Priyabrata Saha, Luis Guerrero-Bonilla, Magnus Egerstedt, Saibal Mukhopadhyay
 View PDF
Linear Delta Arrays for Compliant Dexterous Distributed Manipulation
Sarvesh Patil, Long Tao, Tess Hellebrekers, Zeynep Temel, Oliver Kroemer
 View PDF
Completely Rational SO(n) Orthonormalization
Wu Jin, Soheil Sarabandi, Jianhao JIAO, Huaiyang Huang, Bohuan Xue, RUOYU GENG, Lujia Wang, Ming Liu
 View PDF
Stochastic Traveling Salesperson Problem with Neighborhoods for Object Detection
Cheng Peng, Minghan Wei, Volkan Isler
 View PDF
Environment Warped Gait Trajectory Optimization for Complex Terrains
Zherong Pan, Tan Chen, Xifeng Gao, Kui Wu
 View PDF
On Shortest Arc-To-Arc Dubins Path
Satyanarayana Gupta Manyam, David Casbeer
 View PDF
Adaptive Cooperative Control for Human-Robot Load Manipulation
Carlos Rodríguez de Cos, Dimos V. Dimarogonas
 View PDF
ArmAssist: A Telerehabilitation Solution for Upper-Limb Rehabilitation at Home
Ainara Garzo, Je Hyung Jung, Javier Arcas Ruiz-Ruano, Joel C. Perry, Thierry Keller
 View PDF
Unseen Object Instance Segmentation with Fully Test-Time RGB-D Embeddings Adaptation
Lu Zhang, Siqi Zhang, Xu Yang, Hong Qiao, Zhiyong Liu
 View PDF
EgoNN: Egocentric Neural Network for Point Cloud Based 6DoF Relocalization at the City Scale
Jacek Komorowski, Monika Wysoczanska, Tomasz Trzcinski
 View PDF
P-satI-D Shape Regulation of Soft Robots
Pietro Pustina, Pablo Borja, Cosimo Della Santina, Alessandro De Luca
 View PDF
Dextrous Tactile In-Hand Manipulation Using a Modular Reinforcement Learning Architecture
Johannes Pitz, Lennart Röstel, Leon Sievers, Berthold Bäuml
 View PDF
Foot Stepping Algorithm of Humanoids with Double Support Time Adjustment Based on Capture Point Control
Myeong-Ju Kim, Daegyu Lim, Gyeongjae Park, Jaeheung Park
 View PDF
The New Exhibition {em Blind Machines}, a Large 3D Printing Machine
Jean-Pierre Merlet, Yves Papegay
 View PDF
Neural-Kalman GNSS/INS Navigation for Precision Agriculture
YAYUN DU, Swapnil Sayan Saha, Sandeep Sandha, Arthur Lovekin, Jason Wu, S. Siddharth, Mahesh Chowdhary, Mohammad Khalid Jawed, Mani Srivastava
 View PDF
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Roland Ilyes, Qi Heng Ho, Morteza Lahijanian
 View PDF
Carrying the Uncarriable: A Deformation-Agnostic and Human-Cooperative Framework for Unwieldy Objects Using Multiple Robots
Doganay Sirintuna, Idil Ozdamar, Arash Ajoudani
 View PDF
Aggregation Functions for Simultaneous Attitude and Image Estimation with Event Cameras at High Angular Rates
Matthew Ng, Zi Min Er, Gim Song Soh, Shaohui Foong
 View PDF
Developing Cooperative Policies for Multi-Stage Reinforcement Learning Tasks
Jordan Erskine, Christopher Lehnert
 View PDF