Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 1 of 33
Title & Authors Actions
Hazard Analysis of Collaborative Automation Systems: A Two-Layer Approach Based on Supervisory Control and Simulation
Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kroeger
 PDF
SIERRA: A Modular Framework for Research Automation
John Harwell, Maria Gini
 PDF
Generating Formal Safety Assurances for High-Dimensional Reachability
Albert Lin, Somil Bansal
 PDF
How AI and Robotics Can Build Furniture: A Case Study from the 2021 AI-Robot Assembly Challenge
SeongSeop Yun, Myoung-Su Choi, Min-Young Cho, Keunhwan Kim, Dong-Hyuk Lee, Se-Woong Jun, Ji-Hun Bae, Dongjun Shin
 PDF
FogROS2: An Adaptive Platform for Cloud and Fog Robotics Using ROS 2
Jeffrey Ichnowski, Kaiyuan Chen, Karthik Dharmarajan, Simeon Oluwafunmilore Adebola, Michael Danielczuk, Victor Mayoral-Vilches, Nikhil Jha, Hugo Zhan, Edith LLontop, Derek Xu, Camilo Buscaron, John Kubiatowicz, Ion Stoica, Joseph E. Gonzalez, Ken Goldberg
 PDF
Demonstration-Guided Reinforcement Learning with Efficient Exploration for Task Automation of Surgical Robot
Tao Huang, Kai Chen, Bin LI, Yunhui Liu, Qi Dou
 PDF
Adaptive Tracking Control with Uncertainty-Aware and State-Dependent Feedback Action Blending for Robot Manipulators
Xuwei Wu, Annika Kirner, Gianluca Garofalo, Christian Ott, Paul Kotyczka, Alexander Dietrich
 PDF
An Energy Based Control Architecture for Shared Autonomy
Federico Benzi, Federica Ferraguti, Giuseppe Riggio, Cristian Secchi
 PDF
Soft Sensing Skins for Arbitrary Objects: An Automatic Framework
Sonja Groß, Diego Xavier Hidalgo Carvajal, Silija Breimann, Nicolai Stein, Amartya Ganguly, Abdeldjallil Naceri, Sami Haddadin
 PDF
OptiGap: A Modular Optical Sensor System for Bend Localization
Paul Bupe, Jr., Cindy Harnett
 PDF
Anchoring Sagittal Plane Templates in a Spatial Quadruped
Timothy Greco, Daniel Koditschek
 PDF
Design and Mechanics of Cable-Driven Rolling Diaphragm Transmission for High-Transparency Robotic Motion
Hoi Man Lam, Jared Walker, Lucas Jonasch, Dimitri A. Schreiber, Michael C. Yip
 PDF
Experimental Validation of Functional Iterative Learning Control on a One-Link Flexible Arm
Sjoerd Drost, Pietro Pustina, Franco Angelini, Alessandro De Luca, Gerwin Smit, Cosimo Della Santina
 PDF
Autonomous Task Planning for Heterogeneous Multi-Agent Systems
Anatoli Tziola, Savvas Loizou
 PDF
Environment Optimization for Multi-Agent Navigation
Zhan Gao, Amanda Prorok
 PDF
Visibility-Aware Navigation among Movable Obstacles
Jose Muguira Iturralde, Aidan Curtis, Yilun Du, Leslie Kaelbling, Tomas Lozano-Perez
 PDF
Hierarchical Whole-Body Control of the Cable-Suspended Aerial Manipulator Endowed with Winch-Based Actuation
Yuri Sarkisov, Andre Coelho, Maihara Gabrieli Santos, Min Jun Kim, Dzmitry Tsetserukou, Christian Ott, Konstantin Kondak
 PDF
Self-Adaptive Teaching-Learning-Based Optimizer with Improved RBF and Sparse Autoencoder for Complex Optimization Problems
Jing Bi, Ziqi Wang, Haitao Yuan, Junfei Qiao, Jia Zhang, MengChu Zhou
 PDF
Sim-To-Real Transfer for Visual Reinforcement Learning of Deformable Object Manipulation for Robot-Assisted Surgery
Paul Maria Scheikl, Eleonora Tagliabue, Balazs Gyenes, Martin Wagner, Diego Dall'Alba, Paolo Fiorini, Franziska Mathis-Ullrich
 PDF
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification
Jiayi Pan, Glen Chou, Dmitry Berenson
 PDF
Multi-View Object Pose Estimation from Correspondence Distributions and Epipolar Geometry
Rasmus Laurvig Haugaard, Thorbjørn Mosekjær Iversen
 PDF
Failure-Aware Policy Learning for Self-Assessable Robotics Tasks
Kechun Xu, Runjian Chen, Shuqi Zhao, Zizhang Li, Hongxiang Yu, Ci Chen, Yue Wang, Rong Xiong
 PDF
Lightweight Monocular Depth Estimation Via Token-Sharing Transformer
Dong-Jae Lee, Jae Young Lee, Hyounguk Shon, Eojindl Yi, Yeong-Hun Park, Sung-Sik Cho, Junmo Kim
 PDF
Discovering Multiple Algorithm Configurations
Leonid Keselman, martial hebert
 PDF
Development of Hydraulically-Driven Soft Hand for Handling Heavy Vegetables and Its Experimental Evaluation
Osamu Azami, Kyosuke Ishibashi, Mitsuo Komagata, Ko Yamamoto
 PDF
Congestion Prediction for Large Fleets of Mobile Robots
Ge Yu, Michael Wolf
 PDF
Swarm Robotics Search and Rescue: A Bee-Inspired Swarm Cooperation Approach without Information Exchange
Yue Li, Yan Gao, Sijie Yang, Quan Quan
 PDF
A Causal Decoupling Approach to Efficient Planning for Logistics Problems with Stateful Stochastic Demand
Diptanil Chaudhuri, Dylan Shell
 PDF
Fast Event-Based Double Integral for Real-Time Robotics
Shijie Lin, Yinqiang Zhang, Dongyue Huang, Bin Zhou, Xiaowei Luo, Jia Pan
 PDF
Guided Reinforcement Learning � A Review and Evaluation for Efficient and Effective Real-World Robotics
Julian Eßer, Nicolas Bach, Christian Jestel, Oliver Urbann, Sören Kerner
 PDF
Intuitive Robot Integration Via Virtual Reality Workspaces
MINH TRAM, Joseph Cloud, William Beksi
 PDF
Continuity-Aware Latent Interframe Information Mining for Reliable UAV Tracking
Changhong Fu, Mutian Cai, Sihang Li, Kunhan Lu, Haobo Zuo, Chongjun Liu
 PDF
WOLF: A Modular Estimation Framework for Robotics Based on Factor Graphs
Joan Solà , Joan Vallvé, Joaquim Casals, Jeremie Deray, Mederic Fourmy, Dinesh Atchuthan, Andreu Corominas-Murtra, Juan Andrade-Cetto
 PDF
Chronos and CRS: Design of a Miniature Car-Like Robot and a Software Framework for Single and Multi-Agent Robotics and Control
Andrea Carron, Bodmer Sabrina, Lukas Vogel, René Zurbruegg, David Helm, Rahel Rickenbach, Simon Muntwiler, Jerome Sieber, Melanie N. Zeilinger
 PDF
Safety and Efficiency in Robotics: The Control Barrier Functions Approach
Federica Ferraguti, Chiara Talignani Landi, Andrew Singletary, Hsien-Chung Lin, Aaron Ames, Cristian Secchi, Marcello Bonfe
 PDF
TODE-Trans: Transparent Object Depth Estimation with Transformer
kang chen, Shaochen Wang, Beihao Xia, Dongxu Li, Zhen Kan, Bin Li
 PDF
EMS®: A Massive Computational Experiment Management System towards Data-Driven Robotics
Qinjie Lin, Guo Ye, Han Liu
 PDF
Aquarium: A Fully Differentiable Fluid-Structure Interaction Solver for Robotics Applications
Jeong Hun Lee, Mike Yan Michelis, Robert Kevin Katzschmann, Zachary Manchester
 PDF
A Force-Sensitive Exoskeleton for Teleoperation: An Application in Elderly Care Robotics
Alexander Toedtheide, Xiao Chen, Hamid Sadeghian, Abdeldjallil Naceri, Sami Haddadin
 PDF
Dealing with Sparse Rewards in Continuous Control Robotics Via Heavy-Tailed Policy Optimization
SOURADIP CHAKRABORTY, Amrit Singh Bedi, Kasun Weerakoon Kulathun Mudiyanselage, Prithvi Poddar, Alec Koppel, Pratap Tokekar, Dinesh Manocha
 PDF
ARMBench: An Object-Centric Benchmark Dataset for Robotic Manipulation
Chaitanya Mitash, Fan Wang, Shiyang Lu, Vikedo Terhuja, Tyler Garaas, Felipe Polido, Manikantan Nambi
 PDF
Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics
Corrado Pezzato, Carlos Hernández, Stefan Bonhof, Martijn Wisse
 PDF
On Domain-Specific Pre-Training for Effective Semantic Perception in Agricultural Robotics
Gianmarco Roggiolani, Federico Magistri, Tiziano Guadagnino, Jan Weyler, Giorgio Grisetti, Cyrill Stachniss, Jens Behley
 PDF
User-Conditioned Neural Control Policies for Mobile Robotics
Leonard Bauersfeld, Elia Kaufmann, Davide Scaramuzza
 PDF
Grasp Planning with CNN for Log-Loading Forestry Machine
Elie Ayoub, Patrick Levesque, Inna Sharf
 PDF
CIOT: Constraint-Enhanced Inertial-Odometric Tracking for Articulated Dump Trucks in GNSS-Denied Mining Environments
David Benz, Jonathan Thomas Weseloh, Dirk Abel, Heike Vallery
 PDF
Real-Time Reinforcement Learning for Vision-Based Robotics Utilizing Local and Remote Computers
Yan Wang, Gautham Vasan, Rupam Mahmood
 PDF
Using a Collaborative Robotic Arm As Human-Machine Interface: System Setup and Application to Pose Control Tasks
Christian Braun, Ludwig Haide, Lars Fischer, Sean Kille, Balint Varga, Simon Rothfuß, Sören Hohmann
 PDF
TransCG: A Large-Scale Real-World Dataset for Transparent Object Depth Completion and a Grasping Baseline
Hongjie Fang, Hao-Shu Fang, Sheng Xu, Cewu Lu
 PDF
Holistic View of Inverse Optimal Control by Introducing Projections on Singularity Curves
Jessica Colombel, David Daney, Francois Charpillet
 PDF