ICRA 2023

1655 papers · 0 AI summaries · 2023

AI summary only

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	View PDF
Loading…
	SIERRA: A Modular Framework for Research Automation John Harwell, Maria Gini	View PDF
Loading…
	Generating Formal Safety Assurances for High-Dimensional Reachability Albert Lin, Somil Bansal	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Demonstration-Guided Reinforcement Learning with Efficient Exploration for Task Automation of Surgical Robot Tao Huang, Kai Chen, Bin LI, Yunhui Liu, Qi Dou	View PDF
Loading…
	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	View PDF
Loading…
	An Energy Based Control Architecture for Shared Autonomy Federico Benzi, Federica Ferraguti, Giuseppe Riggio, Cristian Secchi	View PDF
Loading…
	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	View PDF
Loading…
	OptiGap: A Modular Optical Sensor System for Bend Localization Paul Bupe, Jr., Cindy Harnett	View PDF
Loading…
	Anchoring Sagittal Plane Templates in a Spatial Quadruped Timothy Greco, Daniel Koditschek	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Autonomous Task Planning for Heterogeneous Multi-Agent Systems Anatoli Tziola, Savvas Loizou	View PDF
Loading…
	Environment Optimization for Multi-Agent Navigation Zhan Gao, Amanda Prorok	View PDF
Loading…
	Visibility-Aware Navigation among Movable Obstacles Jose Muguira Iturralde, Aidan Curtis, Yilun Du, Leslie Kaelbling, Tomas Lozano-Perez	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification Jiayi Pan, Glen Chou, Dmitry Berenson	View PDF
Loading…
	Multi-View Object Pose Estimation from Correspondence Distributions and Epipolar Geometry Rasmus Laurvig Haugaard, Thorbjørn Mosekjær Iversen	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Discovering Multiple Algorithm Configurations Leonid Keselman, martial hebert	View PDF
Loading…
	Development of Hydraulically-Driven Soft Hand for Handling Heavy Vegetables and Its Experimental Evaluation Osamu Azami, Kyosuke Ishibashi, Mitsuo Komagata, Ko Yamamoto	View PDF
Loading…
	Congestion Prediction for Large Fleets of Mobile Robots Ge Yu, Michael Wolf	View PDF
Loading…
	Swarm Robotics Search and Rescue: A Bee-Inspired Swarm Cooperation Approach without Information Exchange Yue Li, Yan Gao, Sijie Yang, Quan Quan	View PDF
Loading…
	A Causal Decoupling Approach to Efficient Planning for Logistics Problems with Stateful Stochastic Demand Diptanil Chaudhuri, Dylan Shell	View PDF
Loading…
	Fast Event-Based Double Integral for Real-Time Robotics Shijie Lin, Yinqiang Zhang, Dongyue Huang, Bin Zhou, Xiaowei Luo, Jia Pan	View PDF
Loading…
	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	View PDF
Loading…
	Intuitive Robot Integration Via Virtual Reality Workspaces MINH TRAM, Joseph Cloud, William Beksi	View PDF
Loading…
	Continuity-Aware Latent Interframe Information Mining for Reliable UAV Tracking Changhong Fu, Mutian Cai, Sihang Li, Kunhan Lu, Haobo Zuo, Chongjun Liu	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	TODE-Trans: Transparent Object Depth Estimation with Transformer kang chen, Shaochen Wang, Beihao Xia, Dongxu Li, Zhen Kan, Bin Li	View PDF
Loading…
	EMS®: A Massive Computational Experiment Management System towards Data-Driven Robotics Qinjie Lin, Guo Ye, Han Liu	View PDF
Loading…
	Aquarium: A Fully Differentiable Fluid-Structure Interaction Solver for Robotics Applications Jeong Hun Lee, Mike Yan Michelis, Robert Kevin Katzschmann, Zachary Manchester	View PDF
Loading…
	A Force-Sensitive Exoskeleton for Teleoperation: An Application in Elderly Care Robotics Alexander Toedtheide, Xiao Chen, Hamid Sadeghian, Abdeldjallil Naceri, Sami Haddadin	View PDF
Loading…
	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	View PDF
Loading…
	ARMBench: An Object-Centric Benchmark Dataset for Robotic Manipulation Chaitanya Mitash, Fan Wang, Shiyang Lu, Vikedo Terhuja, Tyler Garaas, Felipe Polido, Manikantan Nambi	View PDF
Loading…
	Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics Corrado Pezzato, Carlos Hernández, Stefan Bonhof, Martijn Wisse	View PDF
Loading…
	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	View PDF
Loading…
	User-Conditioned Neural Control Policies for Mobile Robotics Leonard Bauersfeld, Elia Kaufmann, Davide Scaramuzza	View PDF
Loading…
	Grasp Planning with CNN for Log-Loading Forestry Machine Elie Ayoub, Patrick Levesque, Inna Sharf	View PDF
Loading…
	CIOT: Constraint-Enhanced Inertial-Odometric Tracking for Articulated Dump Trucks in GNSS-Denied Mining Environments David Benz, Jonathan Thomas Weseloh, Dirk Abel, Heike Vallery	View PDF
Loading…
	Real-Time Reinforcement Learning for Vision-Based Robotics Utilizing Local and Remote Computers Yan Wang, Gautham Vasan, Rupam Mahmood	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Holistic View of Inverse Optimal Control by Introducing Projections on Singularity Curves Jessica Colombel, David Daney, Francois Charpillet	View PDF
Loading…