ICRA 2023

1655 papers · 0 AI summaries · 2023

AI summary only

1648 result(s) for “Formal Methods in Robotics and Automation” Page 26 of 33

	Title & Authors	Actions
	Learning an Efficient Terrain Representation for Haptic Localization of a Legged Robot Damian Sójka, Michal Ryszard Nowicki, Piotr Skrzypczynski	View PDF
Loading…
	Collaborative Scheduling with Adaptation to Failure for Heterogeneous Robot Teams Peng Gao, SRIRAM SIVA, Anthony Micciche, Hao Zhang	View PDF
Loading…
	A Bioinspired Synthetic Nervous System Controller for Pick-and-Place Manipulation Yanjun Li, Ravesh Sukhnandan, Jeffrey Gill, Hillel Chiel, Victoria Webster-Wood, Roger, D. Quinn	View PDF
Loading…
	3-Dimensional Sonic Phase-Invariant Echo Localization Christopher Hahne	View PDF
Loading…
	Adaptive-SpikeNet: Event-Based Optical Flow Estimation Using Spiking Neural Networks with Learnable Neuronal Dynamics Adarsh Kumar Kosta, Kaushik Roy	View PDF
Loading…
	Visual-Inertial Odometry with Online Calibration of Velocity-Control Based Kinematic Motion Models Haolong Li, Joerg Stueckler	View PDF
Loading…
	Relay Pursuit for Multirobot Target Tracking on Tile Graphs Shashwata Mandal, Sourabh Bhattacharya	View PDF
Loading…
	Encouraging Human Interaction with Robot Teams: Legible and Fair Subtask Allocations Habibian, Soheil,Losey, Dylan	View PDF
Loading…
	Visual Affordance Prediction for Guiding Robot Exploration Homanga Bharadhwaj, Abhinav Gupta, Shubham Tulsiani	View PDF
Loading…
	Embedded Active Stiffening Mechanisms to Modulate Kresling Tower Kinetostatic Properties John BERRE, Lennart Rubbert, Francois Geiskopf, Pierre Renaud	View PDF
Loading…
	Optimal Allocation of Many Robot Guards for Sweep-Line Coverage Si Wei Feng, Teng Guo, Jingjin Yu	View PDF
Loading…
	FingerSLAM: Closed-Loop Unknown Object Localization and Reconstruction from Visuo-Tactile Feedback Jialiang Zhao, Maria Bauza Villalonga, Edward Adelson	View PDF
Loading…
	A Framework for Fast Prototyping of Photo-Realistic Environments with Multiple Pedestrians Sara Casao, AndrÃ©s Otero, Ãlvaro Serra-GÃ3mez, Ana Cristina Murillo, Javier Alonso-Mora, Eduardo Montijano	View PDF
Loading…
	Untethered Robotic Millipede Driven by Low-Pressure Microfluidic Actuators for Multi-Terrain Exploration Qi Shao,Xuguang Dong,Zhonghan Lin,Chao Tang,Hao Sun,Xin-Jun Liu,Huichan Zhao	View PDF
Loading…
	Generalization of Impact Response Factors for Proprioceptive Collaborative Robots Carlos Relaño, Daniel Sanz-Merodio, Miguel López Estévez, Concepción A. Monje	View PDF
Loading…
	Multi-Target Pursuit by a Decentralized Heterogeneous UAV Swarm Using Deep Multi-Agent Reinforcement Learning Maryam Kouzehgar, Youngbin Song, Malika Meghjani, Roland Bouffanais	View PDF
Loading…
	Limit Cycle Generation with Pneumatically Driven Physical Reservoir Computing Hiroaki Shinkawa, Toshihiro Kawase, Tetsuro Miyazaki, Takahiro Kanno, Maina Sogabe, Kenji Kawashima	View PDF
Loading…
	Learning-Based Relational Object Matching across Views Cathrin Elich, Iro Armeni, Martin R. Oswald, Marc Pollefeys, Joerg Stueckler	View PDF
Loading…
	Sim2Real^2: Actively Building Explicit Physics Model for Precise Articulated Object Manipulation Liqian Ma, Jiaojiao Meng, Shuntao Liu, Weihang Chen, Jing Xu, Rui Chen	View PDF
Loading…
	Dynamic Modeling and Identification of a Robotic Intracardiac Echo Catheter Mohammad Salehizadeh, Filipe Pedrosa, Harmanpreet Bassan, Rajnikant V. Patel, Jagadeesan Jayender	View PDF
Loading…
	CMG-Net: An End-To-End Contact-Based Multi-Finger Dexterous Grasping Network Mingze Wei, Yaomin Huang, Zhiyuan Xu, Ning Liu, Zhengping Che, Xinyu ZHANG, Chaomin Shen, Feifei Feng, Chun Shan, Jian Tang	View PDF
Loading…
	CPSeg: Cluster-Free Panoptic Segmentation of 3D LiDAR Point Clouds Enxu Li, Ryan Razani, Yixuan Xu, Bingbing Liu	View PDF
Loading…
	A Decentralized Multi-Robot Spatio-Temporal Multi-Task Assignment Approach for Perimeter Defense Velhal, Shridhar,Sundaram, Suresh,Narasimman, Sundararajan	View PDF
Loading…
	Annotating Covert Hazardous Driving Scenarios Online: Utilizing the Driver's Electroencephalography (EEG) Signals Chen Zheng, Muxiao Zi, wenjie jiang, Mengdi Chu, Yan Zhang, Jirui Yuan, Guyue Zhou, Jiangtao Gong	View PDF
Loading…
	Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles Sushant Veer, Karen Leung, Ryan Cosner, Yuxiao Chen, Peter Karkus, Marco Pavone	View PDF
Loading…
	Enhancing the Efficacy of Lower-Body Assistive Devices through the Understanding of Human Movement in the Real World Loubna Baroudi, Stephen Cain, Alex Shorter, Kira Barton	View PDF
Loading…
	Deep Reinforcement Learning for Autonomous Driving Using High-Level Heterogeneous Graph Representations Maximilian Schier, Christoph Reinders, Bodo Rosenhahn	View PDF
Loading…
	Pyramid Learnable Tokens for 3D LiDAR Place Recognition Congcong Wen, Hao Huang, Yu-Shen Liu, Yi Fang	View PDF
Loading…
	A MySQL Database for the Systematic Configuration Selection of Redundant Manipulators when Path Planning in Confined Spaces Kat Styles Wood, Thomas. B Scott, Antonia Tzemanaki	View PDF
Loading…
	ADAPT: A 3 Degrees of Freedom Reconfigurable Force Balanced Parallel Manipulator for Aerial Applications Kartik Suryavanshi, Salua Hamaza, Volkert van der Wijk, Just Herder	View PDF
Loading…
	Implicit Neural Field Guidance for Teleoperated Robot‐assisted Surgery Heng Zhang, Lifeng Zhu, Jiangwei Shen, Aiguo Song	View PDF
Loading…
	3D VSG: Long-Term Semantic Scene Change Prediction through 3D Variable Scene Graphs Samuel Looper, Javier Rodriguez-Puigvert, Roland Siegwart, Cesar Cadena Lerma, Lukas Maximilian Schmid	View PDF
Loading…
	Test Time Domain Adaptation for Monocular Depth Estimation Zhi Li, Shaoshuai Shi, Bernt Schiele, Dengxin Dai	View PDF
Loading…
	SEIL: Simulation-augmented Equivariant Imitation Learning Mingxi Jia, Dian Wang, Guanang Su, David Klee, Xupeng Zhu, Robin Walters, Robert Platt	View PDF
Loading…
	Swarm-LIO: Decentralized Swarm LiDAR-inertial Odometry Fangcheng Zhu, Yunfan Ren, Fanze Kong, Huajie Wu, Siqi Liang, Nan Chen, Wei Xu, Fu Zhang	View PDF
Loading…
	Online Tool Selection with Learned Grasp Prediction Models Rohanimanesh Khashayar, Jacob Metzger, William Richards, Aviv Tamar	View PDF
Loading…
	Data-Driven Optimal Control under Safety Constraints Using Sparse Koopman Approximation Hongzhe Yu, Joseph Moyalan, Umesh Vaidya, Yongxin Chen	View PDF
Loading…
	Path Planning under Uncertainty to Localize mmWave Sources Kai Pfeiffer, Yuze Jia, Mingsheng Yin, Akshaj Kumar Veldanda, Yaqi Hu, Amee Trivedi, Jeff Jun Zhang, Siddharth Garg, Elza Erkip, Sundeep Rangan, Ludovic Righetti	View PDF
Loading…
	3D-Printed Adaptive Microgripper Driven by Thin-Film NiTi Actuators Sukjun Kim, Sarah Bergbreiter	View PDF
Loading…
	A Sequential Quadratic Programming Approach to the Solution of Open-Loop Generalized Nash Equilibria Edward Zhu, Francesco Borrelli	View PDF
Loading…
	Holistic Graph-Based Motion Prediction Daniel Grimm, Philip SchÃ¶rner, Moritz DreÃler, Johann Marius ZÃ¶llner	View PDF
Loading…
	Cloth Funnels: Canonicalized-Alignment for Multi-Purpose Garment Manipulation Alper Canberk, Cheng Chi, Huy Ha, Benjamin Burchfiel, Eric Cousineau, Siyuan Feng, Shuran Song	View PDF
Loading…
	Bipedal Robot Walking Control Using Human Whole-Body Dynamic Telelocomotion Guillermo Colin, Youngwoo Sim, Joao Ramos	View PDF
Loading…
	Trajectory Planning for the Bidirectional Quadrotor As a Differentially Flat Hybrid System Katherine Mao, Jake Welde, M. Ani Hsieh, Vijay Kumar	View PDF
Loading…
	Detecting Spatio-Temporal Relations by Combining a Semantic Map with a Stream Processing Engine Lennart Niecksch, Henning Deeken, Thomas Wiemann	View PDF
Loading…
	Guided Conditional Diffusion for Controllable Traffic Simulation Ziyuan Zhong, Davis Rempe, Danfei Xu, Yuxiao Chen, Sushant Veer, Tong Che, Baishakhi Ray, Marco Pavone	View PDF
Loading…
	Image-Based Visual Servoing Switchable Leader-Follower Control of Heterogeneous Multi-Agent Underwater Robot System kanzhong yao, Nathalie Bauschmann, Thies Lennart Alff, Wei Cheah, Daniel Andre Duecker, Keir Groves, Ognjen Marjanovic, Simon Watson	View PDF
Loading…
	Dynamical System-Based Imitation Learning for Visual Servoing Using the Large Projection Formulation Antonio Paolillo, Paolo Robuffo Giordano, Matteo Saveriano	View PDF
Loading…
	Edge Grasp Network: A Graph-Based SE(3)-Invariant Approach to Grasp Detection Haojie Huang, Dian Wang, Xupeng Zhu, Robin Walters, Robert Platt	View PDF
Loading…
	Deep Reinforcement Learning Based Personalized Locomotion Planning for Lower-Limb Exoskeletons Javad K. Mehr, Edward Guo, Mojtaba Akbari, Vivian K. Mushahwar, Mahdi Tavakoli	View PDF
Loading…