Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 3 of 33
Title & Authors Actions
Loc-NeRF: Monte Carlo Localization Using Neural Radiance Fields
Dominic Maggio, Marcus Abate, Jingnan Shi, Courtney Mario, Luca Carlone
 PDF
OpTaS: An Optimization-based Task Specification Library for Trajectory Optimization and Model Predictive Control
Christopher Edwin Mower, Joao Moura, Nazanin Zamani Behabadi, Sethu Vijayakumar, Tom Vercauteren, Christos Bergeles
 PDF
Extrinsic Calibration for Highly Accurate Trajectories Reconstruction
Maxime Vaidis, William Dubois, Alexandre Guénette, Johann Laconte, Vladimir Kubelka, Francois Pomerleau
 PDF
Training Efficient Controllers Via Analytic Policy Gradient
Nina Wiedemann, Valentin Wüest, Antonio Loquercio, Matthias Müller, Dario Floreano, Davide Scaramuzza
 PDF
Loosely-Coupled Localization Fusion System Based on Track-To-Track Fusion with Bias Alignment
Soyeong Kim, Kichun Jo, Benazouz BRADAI, Paulo RESENDE, Jaeyoung Jo
 PDF
A Robotic Cooperative Network for Localising a Submarine in Distress: Results from REPMUS21
Gabriele Ferri, Alessandro Faggiani, Roberto Petroccia, Pietro stinco, Alessandra Tesei
 PDF
Learning on the Job: Self-Rewarding Offline-To-Online Finetuning for Industrial Insertion of Novel Connectors from Vision
Ashvin Nair, Brian Zhu, Gokul narayanan Sathya narayanan, Eugen Solowjow, Sergey Levine
 PDF
FEA-Based Soft Robotic Modeling: Simulating a Soft-Actuator in SOFA
Pasquale Ferrentino, Ellen Roels, Joost Brancart, Seppe Terryn, Guy Van Assche, Bram Vanderborght
 PDF
Risk-Aware Submodular Optimization for Multi-Robot Coordination
Zhou, Lifeng,Tokekar, Pratap
 PDF
Ethical Assessment of a Hospital Disinfection Robot
Conor McGinn, Robert Scott, Niamh Donnelly, Michael F. Cullinan, Alan Winfield, Patricia Treusch
 PDF
GDIP: Gated Differentiable Image Processing for Object Detection in Adverse Conditions
Sanket Kalwar, Dhruv Patel, Aakash Aanegola, Krishna konda, Sourav Garg, Madhava Krishna
 PDF
Generating a Terrain-Robustness Benchmark for Legged Locomotion: A Prototype Via Terrain Authoring and Active Learning
Chong Zhang, Lizhi Yang
 PDF
Curvature-Aware Model Predictive Contouring Control
Lorenzo Lyons, Laura Ferranti
 PDF
Feature-Realistic Neural Fusion for Real-Time, Open Set Scene Understanding
Kirill Mazur, Edgar Sucar, Andrew J Davison
 PDF
Safeguarding Learning-Based Planners under Motion and Sensing Uncertainties Using Reachability Analysis
Akshay Shetty, Adam Dai, Alexandros Tzikas, Grace Gao
 PDF
Efficiently Approaching Groups of People in a Socially Acceptable Manner in Environments with Obstacles
Aline Silva, Luciano Almeida, Douglas G. Macharet
 PDF
Toward Holistic Scene Understanding: A Transfer of Human Scene Perception to Mobile Robots
Florenz Graf, Jochen Lindermayr, cagatay odabasi, Marco F. Huber
 PDF
Design and Control of a Tunable-Stiffness Coiled-Spring Actuator
Shivangi Misra, Mason Mitchell, Rongqian Chen, Cynthia Sung
 PDF
Markovian Transparency Control of an Exoskeleton Robot
Felix M Escalante, Leonardo Felipe dos Santos, Yecid Moreno, Adriano Siqueira, Marco Henrique Terra, Thiago Boaventura
 PDF
Loitering and Trajectory Tracking of Suspended Payloads in Cable-Driven Balloons Using UGVs
Julius Wanner, Eric Sihite, Alireza Ramezani, Gharib Morteza
 PDF
Differentiable Collision Detection for a Set of Convex Primitives
Kevin Tracy, Taylor Howell, Zachary Manchester
 PDF
Topological Trajectory Prediction with Homotopy Classes
Jennifer Wakulicz, Ki Myung Brian Lee, Teresa A. Vidal-Calleja, Robert Fitch
 PDF
NOCaL: Calibration-Free Semi-Supervised Learning of Odometry and Camera Intrinsics
Ryan Griffiths, Jack Naylor, Donald Dansereau
 PDF
Stealthy Perception-Based Attacks on Unmanned Aerial Vehicles
Amir Khazraei, Haocheng Meng, Miroslav Pajic
 PDF
Learning Stable Vector Fields on Lie Groups
Julen Urain De Jesus, Davide Tateo, Jan Peters
 PDF
Enhanced Balance for Legged Robots Using Reaction Wheels
Chi-Yen Lee, Shuo Yang, Bokser Benjamin, Zachary Manchester
 PDF
Torque Control with Joints Position and Velocity Limits Avoidance
Venus Pasandi, Daniele Pucci
 PDF
Active Predictive Coding: Brain-Inspired Reinforcement Learning for Sparse Reward Robotic Control Problems
Alexander Ororbia, Ankur Mali
 PDF
Spherical Cubic Blends: C2-Continuous, Zero-Clamped, and Time-Optimized Interpolation of Quaternions
Jonas Wittmann, Lukas Cha, Marco Kappertz, Philipp Seiwald, Daniel Rixen
 PDF
Mean Field Behaviour of Collaborative Multi-Agent Foragers
Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr
 PDF
Multi-View Keypoints for Reliable 6D Object Pose Estimation
Alan Li, Angela P. Schoellig
 PDF
AZTR: Aerial Video Action Recognition with Auto Zoom and Temporal Reasoning
Xijun Wang, Ruiqi Xian, Tianrui Guan, Celso de Melo, Stephen Nogar, Aniket Bera, Dinesh Manocha
 PDF
Mobility Analysis of Screw-Based Locomotion and Propulsion in Various Media
Jason Lim, Florian Richter, Dimitri A. Schreiber, Peter Gavrilov, Lizzie Peiros, Mingwei Yeoh, Calvin Joyce, Sara Wickenhiser, Michael C. Yip
 PDF
Reconstructing Objects In-The-Wild for Realistic Sensor Simulation
Ze Yang, Siva Manivasagam, Yun Chen, Jingkang Wang, Rui Hu, Raquel Urtasun
 PDF
An Unconstrained Convex Formulation of Compliant Contact
Alejandro Castro, Frank Permenter, Xuchen Han
 PDF
A Benchmark for Multi-Robot Planning in Realistic, Complex and Cluttered Environments
Simon Schaefer, Luigi Palmieri, Lukas Heuer, Rüdiger Dillmann, Sven Koenig, Alexander Kleiner
 PDF
Benchmarking Potential Based Rewards for Learning Humanoid Locomotion
Se Hwan Jeon, Steve Heim, Charles Khazoom, Sangbae Kim
 PDF
Concentration of Measure Phenomenon and Its Implications for Sample-Based Planning Algorithms in Very-High Dimensional Configuration Spaces
Joel Esposito
 PDF
Robot Explanatory Narratives of Collaborative and Adaptive Experiences
Alberto Olivares-Alarcos, Antonio Andriella, Sergi Foix, Guillem AlenyÃ
 PDF
Stein Particle Filter for Nonlinear, Non-Gaussian State Estimation
Fahira Afzal Maken, Fabio Ramos, Lionel Ott
 PDF
Safe Control using Vision-based Control Barrier Function (V-CBF)
Hossein Abdi, Golnaz Raja, Reza Ghabcheloo
 PDF
Learning Exploration Strategies to Solve Real-World Marble Runs
Alisa Allaire, Christopher Atkeson
 PDF
Goal-Conditioned Action Space Reduction for Deformable Object Manipulation
Shengyin Wang, Rafael Papallas, Matteo Leonetti, Mehmet R Dogar
 PDF
A Model-Based Analysis of the Effect of Repeated Unilateral Low Stiffness Perturbations on Human Gait: Toward Robot-Assisted Rehabilitation
Vaughn Chambers, Panagiotis Artemiadis
 PDF
Uncertainty for Identifying Open-Set Errors in Visual Object Detection
Dimity Miller, Niko Sünderhauf, Michael J Milford, Feras Dayoub
 PDF
Evaluating Immersive Teleoperation Interfaces: Coordinating Robot Radiation Monitoring Tasks in Nuclear Facilities
Harvey Stedman, Basaran Bahadir Kocer, Nejra Van Zalk, Mirko Kovac, Vijay Manohar Pawar
 PDF
Robotic Fiber Threading from a Gel-Like Substance Based on Impedance Control with Force Tracking
Houari Bettahar, P. A. Diluka Harischandra, Quan Zhou
 PDF
Improved Event-Based Dense Depth Estimation Via Optical Flow Compensation
Dianxi Shi, Luoxi Jing, Ruihao Li, Zhe Liu, Huachi Xu, Lin Wang, Yi Zhang
 PDF
An Analysis of Unified Manipulation with Robot Arms and Dexterous Hands Via Optimization-Based Motion Synthesis
Vatsal Patel, Daniel Rakita, Aaron Dollar
 PDF
Kinegami: Algorithmic Design of Compliant Kinematic Chains from Tubular Origami
Chen, Wei-Hsi,Yang, Woohyeok,Peach, Lucien,Koditschek, Daniel,Sung, Cynthia
 PDF