IROS 2024

1856 papers · 0 AI summaries · 2024

AI summary only

1854 result(s) for “Formal Methods in Robotics and Automation” Page 18 of 38

	Title & Authors	Actions
	Bayesian Deep Predictive Coding for Snake-Like Robotic Control in Unknown Terrains William Ziming Qu, Jessica Ziyu Qu, Li Li, Jie Yang, Yuanyuan Jia	View PDF
Loading…
	Head-Mounted Hydraulic Needle Driver for Targeted Interventions in Neurosurger Zhiwei FANG, Chao Xu, Huxin Gao, Tat-Ming Chan, Wu Yuan, Hongliang Ren	View PDF
Loading…
	Shadow Maintenance for Automatic Light-Probe Control in Ophthalmic Surgeries Using Only 2D Information Junjie Yang, Satoshi Inagaki, Zhihao Zhao, Daniel Zapp, Mathias Maier, Kai Huang, Nassir Navab, M. Ali Nasseri	View PDF
Loading…
	Learning Dynamic Tasks on a Large-Scale Soft Robot in a Handful of Trials Sicelukwanda Njabuliso Tunner Zwane, Daniel G. Cheney, Curtis C Johnson, Yicheng Luo, Yasemin Bekiroglu, Marc Killpack, Marc Peter Deisenroth	View PDF
Loading…
	Development of Bidirectional Series Elastic Actuator with Torsion Coil Spring and Implementation to the Legged Robot Yuta Koda, Hiroshi Osawa, Norio Nagatsuka, Shinichi Kariya, Taeko Inagawa, Kensaku Ishizuka	View PDF
Loading…
	Formalization of Temporal and Spatial Constraints of Bimanual Manipulation Categories Franziska Krebs, Tamim Asfour	View PDF
Loading…
	Collision-Free Robot Navigation in Crowded Environments Using Learning Based Convex Model Predictive Control ZhuangLei Wen, Mingze Dong, xiai chen	View PDF
Loading…
	Development of Bioinspired Multimodal Underwater Robot �HERO-BLUE� for Walking, Swimming, and Crawling Taesik Kim, Juhwan Kim, Son-Cheol Yu	View PDF
Loading…
	A Proxy-Tactile Reactive Control for Robots Moving in Clutter Giammarco Caroleo, Francesco Giovinazzo, Alessandro Albini, Francesco Grella, Giorgio Cannata, Perla Maiolino	View PDF
Loading…
	Development of a Compact Robust Passive Transformable Omni-Ball for Enhanced Step-Climbing and Vibration Reduction Kazuo Hongo, Takashi Kito, Yasuhisa Kamikawa, Masaya Kinoshita, Yasunori Kawanami	View PDF
Loading…
	LiDAR-Based 4D Occupancy Completion and Forecasting Xinhao Liu, Moonjun Gong, Qi Fang, Haoyu Xie, YIMING LI, Hang Zhao, Chen Feng	View PDF
Loading…
	Assessing Monocular Depth Estimation Networks for UAS Deployment in Rainforest Environments Srisai Anirudh Tangellapalli, Harman Singh Sangha, Joshua Peschel, Brittany Duncan	View PDF
Loading…
	Lane Segmentation Data Augmentation for Heavy Rain Sensor Blockage Using Realistically Translated Raindrop Images and CARLA Simulator Jinu Pahk, Seongjeong Park, Jungseok Shim, Sungho Son, Jungki Lee, Jinung An, Yongseob Lim, GyeungHo Choi	View PDF
Loading…
	Segmented Safety Docking Control for Mobile Self-Reconfigurable Robots Zhi Zheng, Tao Jiang, Senqi Tan, Hao Zhang, Jianchuan Ye	View PDF
Loading…
	From Propeller Damage Estimation and Adaptation to Fault Tolerant Control: Enhancing Quadrotor Resilience Jeffrey Mao, Jennifer Yeom, Suraj Nair, Giuseppe Loianno	View PDF
Loading…
	Gradient-Based Regularization for Action Smoothness in Robotic Control with Reinforcement Learning Yi Li, Hoang-Giang Cao, Cong-Tinh Dao, Yu-Cheng Chen, I-Chen Wu	View PDF
Loading…
	Highly Efficient Observation Process Based on FFT Filtering for Robot Swarm Collaborative Navigation in Unknown Environments Chenxi Li, Weining Lu, Zhihao Ma, Litong Meng, Bin Liang	View PDF
Loading…
	Maneuver-Conditioned Decision Transformer for Tactical In-Flight Decision-Making Hoseong Jung, Yong-Duk Kim, Youngjung Kim	View PDF
Loading…
	NLNS-MASPF for Solving Multi-Agent Scheduling and Path-Finding Heemang Park, Kyuree AHN, Jinkyoo Park	View PDF
Loading…
	NVINS: Robust Visual Inertial Navigation Fused with NeRF-Augmented Camera Pose Regressor and Uncertainty Quantification Juyeop Han, Lukas Lao Beyer, Guilherme Cavalheiro, Sertac Karaman	View PDF
Loading…
	MARPF: Multi-Agent and Multi-Rack Path Finding Hiroya Makino, Yoshihiro Ohama, Seigo Ito	View PDF
Loading…
	Adv3D: Generating 3D Adversarial Examples for 3D Object Detection in Driving Scenarios with NeRF Leheng Li, Qing Lian, Yingcong Chen	View PDF
Loading…
	Thrust Microstepping Via Acceleration Feedback in Quadrotor Control for Aerial Grasping of Dynamic Payload ashish kumar, Laxmidhar Behera	View PDF
Loading…
	Safe CoR: A Dual-Expert Approach to Integrating Imitation Learning and Safe Reinforcement Learning Using Constraint Rewards Hyeokjin Kwon, Gunmin Lee, Junseo Lee, Songhwai Oh	View PDF
Loading…
	Millipede-Inspired Multi-Legged Magnetic Soft Robots for Targeted Locomotion in Tortuous Environments Yibin Wang, Yiting Xiong, Kaiwen Fang, Jiangfan Yu	View PDF
Loading…
	PINSAT: Parallelized Interleaving of Graph Search and Trajectory Optimization for Kinodynamic Motion Planning Ramkumar Natarajan, Shohin Mukherjee, Howie Choset, Maxim Likhachev	View PDF
Loading…
	GDM-Net: Gas Distribution Mapping with a Mobile Robot Using Deep Reinforcement Learning and Gaussian Process Regression Iliya Kulbaka, Ayan Dutta, Patrick Kreidl, Ladislau Bölöni, Swapnoneel Roy	View PDF
Loading…
	A Safe and Efficient Timed-Elastic-Band Planner for Unstructured Environments Haoyu Xi, Wei Li, Fangzhou Zhao, Liang Chen, Yu Hu	View PDF
Loading…
	Learning Sampling Distribution and Safety Filter for Autonomous Driving with VQ-VAE and Differentiable Optimization Simon Idoko, basant sharma, Arun Kumar Singh	View PDF
Loading…
	A Language-Driven Navigation Strategy Integrating Semantic Maps and Large Language Models Zhengjun Zhong, Ying He, Pengteng Li, Fei Yu, Fei Ma	View PDF
Loading…
	GNC Design and Orbital Performance Evaluation of ISS Onboard Autonomous Free-Flying Robot Int-Ball2 Taisei Nishishita, Keisuke WATANABE, Daichi Hirano, Shinji Mitani	View PDF
Loading…
	Representing 3D Sparse Map Points and Lines for Camera Relocalization Bach-Thuan Bui, Huy Hoang Bui, Dinh Tuan Tran, Joo-Ho Lee	View PDF
Loading…
	Where and When Should the Teleoperated Avatar Look: Gaze Instruction Dataset for Enhanced Teleoperated Avatar Communication Kenya Hoshimure, Jun Baba, Junya Nakanishi, Yuichiro Yoshikawa, Hiroshi Ishiguro	View PDF
Loading…
	Miscommunication between Robots Can Improve Group Accuracy in Best-Of-N Decision-Making Raina Zakir, Marco Dorigo, Andreagiovanni Reina	View PDF
Loading…
	Reinforcement Learning of Dolly-In Filming Using a Ground-Based Robot Philip Lorimer, Jack Saunders, Alan Joseph Hunter, Wenbin Li	View PDF
Loading…
	Collaborative Conversation in Safe Multimodal Human-Robot Collaboration Davide Ferrari, Andrea Pupa, Cristian Secchi	View PDF
Loading…
	Ternary-Type Opacity and Hybrid Odometry for RGB NeRF-SLAM Junru Lin, Asen Nachkov, Songyou Peng, Luc Van Gool, Danda Pani Paudel	View PDF
Loading…
	Toward Universal and Scalable Road Graph Partitioning for Efficient Multi-Robot Path Planning Xingyao Han, Bo Cao, Zhe Liu, Shunbo Zhou, Heng Zhang, Hesheng Wang	View PDF
Loading…
	Voltage Regulation in Polymer Electrolyte Fuel Cell Systems Using Gaussian Process Model Predictive Control Xiufei Li, Miao Yang, miao zhang, Yuanxin Qi, Zhuowei Li, SENBIN YU, Wang Yuantao, linpeng shen, Xiang Li	View PDF
Loading…
	JointLoc: A Real-Time Visual Localization Framework for Planetary UAVs Based on Joint Relative and Absolute Pose Estimation Xubo Luo, Xue Wan, Yixing Gao, Yaolin Tian, Wei Zhang, Leizheng Shu	View PDF
Loading…
	DriVLMe: Enhancing LLM-based Autonomous Driving Agents with Embodied and Social Experiences Yidong Huang, Jacob Sansom, Ziqiao Ma, Felix Gervits, Joyce Chai	View PDF
Loading…
	Event and Frame-Based Visual-Inertial Odometry with Adaptive Filtering Based on 8-DOF Warping Uncertainty Min Seok Lee, Jaehyung Jung, Ye Jun Kim, Chan Gook Park	View PDF
Loading…
	Safety-Aware Causal Representation for Trustworthy Offline Reinforcement Learning in Autonomous Driving Lin, Haohong,Ding, Wenhao,Liu, Zuxin,Niu, Yaru,Zhu, Jiacheng,Niu, Yuming,Zhao, Ding	View PDF
Loading…
	Environment-Adaptive Gait Planning for Obstacle Avoidance in Lower-Limb Robotic Exoskeletons Edoardo Trombin, Stefano Tortora, Emanuele Menegatti, Luca Tonin	View PDF
Loading…
	A Novel Variable Stiffness Suspension System for Improved Stability and Control of Tactile Mobile Manipulators Sebastian Kuhn, Mehmet Can Yildirim, Edmundo Pozo Fortunić, Kübra Karacan, Abdalla Swikir, Sami Haddadin	View PDF
Loading…
	3D Branch Point Cloud Completion for Robotic Pruning in Apple Orchards Tian Qiu, Alan Zoubi, Nikolai Spine, Lailiang Cheng, Yu Jiang	View PDF
Loading…
	Automatic 3D Road Surface Reconstruction via Cross-Section Modeling and Interpolation Matteo Bellusci, Matteo Matteucci	View PDF
Loading…
	Multi-Robot Multi-Goal Mission Planning in Terrains of Varying Energy Consumption Jáchym Herynek, Stefan Edelkamp	View PDF
Loading…
	MCCA: A Decentralized Method for Collision and Deadlock Avoidance with Nonholonomic Robots Ruochen Zheng, Siyu Li	View PDF
Loading…
	X-Ray-Guided Magnetic Fields for Wireless Control of Untethered Magnetic Robots in Cerebral Vascular Phantoms Leendert-Jan Wouter Ligtenberg, Marcus Cornelis Johannes de Boer, Iris Mulder, Roger MLM Lomme, Dorothee Wasserberg, Emily A. M. Klein Rot, Doron Ben Ami, Udi Sadeh, Herman Remco Liefers, Oded Shoseyov, Pascal Jonkheijm, Michiel Warle, Islam S.M. Khalil	View PDF
Loading…