Research Analyzer
← IROS 2024

All Papers

1856 papers in this venue.

Clear
1846 result(s) for “Hybrid Logical/Dynamical Planning and Verification” Page 5 of 37
Title & Authors Actions
ROG-Map: An Efficient Robocentric Occupancy Grid Map for Large-Scene and High-Resolution LiDAR-Based Motion Planning
Yunfan Ren, Yixi Cai, Fangcheng Zhu, Siqi Liang, Fu Zhang
 PDF
Pedicle Drilling Planning Transfer for Spine Surgery Using Functional Map Correspondences
Lilyan Leblanc, Raphael Vialle, Cristiana de Farias, Elie SAGHBINY, Naresh Marturi, Brahim TAMADAZTE
 PDF
P4: Pruning and Prediction-Based Priority Planning
Rui Yang, Rajiv Gupta
 PDF
Real-Time Terrain Assessment and Bayesian-Based Path Planning for Off-Road Navigation
Tianwei Niu, Shuwei Yu, Liang Wang, Haoyu Yuan, Shoukun Wang, Junzheng Wang
 PDF
Motion Planning for Automata-Based Objectives Using Efficient Gradient-Based Methods
Anand Balakrishnan, Merve Atasever, Jyotirmoy Deshmukh
 PDF
Planning with Purpose: Task-Specific Trajectory Optimization
Yinan Pei, Yuri Ivanov
 PDF
RGBlimp: Robotic Gliding Blimp - Design, Modeling, Development, and Aerodynamics Analysis
Hao Cheng, Zeyu Sha, Yongjian Zhu, Feitian Zhang
 PDF
Task Planning for Long-Horizon Cooking Tasks Based on Large Language Models
Jungkyoo Shin, Jieun Han, Seungjun Kim, Yoonseon Oh, Eunwoo Kim
 PDF
GRID: Scene-Graph-Based Instruction-Driven Robotic Task Planning
Zhe Ni, Xiaoxin Deng, Cong Tai, Xinyue Zhu, Qinghongbing Xie, Weihang Huang, xiang wu, Long Zeng
 PDF
Constrained Bootstrapped Learning for Few-Shot Robot Skill Adaptation
A K M Nadimul Haque, Fouad Sukkar, Lukas Tanz, Marc Carmichael, Teresa A. Vidal-Calleja
 PDF
Dynamics-Based Trajectory Planning for Vibration Suppression of a Flexible Long-Reach Robotic Manipulator System
Anthony Siming Chen, Erwin Jose Lopez Pulgarin, Guido Herrmann, Alexander Lanzon, Joaquin Carrasco, Barry Lennox, Benji Carrera-Knowles, John Brotherhood, Tomoki Sakaue, Zhang Kaiqiang
 PDF
Modernising Delivery: A Low-Energy Tethered Package System Using Fixed-Wing Drones
Samuel ORD, Matthew Marino, Timothy Colin Wiley
 PDF
Neural Kinodynamic Planning: Learning for Kinodynamic Tree Expansion
Tin Lai, Weiming Zhi, Tucker Hermans, Fabio Ramos
 PDF
GS-Planner: A Gaussian-Splatting-Based Planning Framework for Active High-Fidelity Reconstruction
Rui Jin, Yuman Gao, Yingjian Wang, Yuze Wu, Haojian Lu, Chao Xu, Fei Gao
 PDF
LCP-Fusion: A Neural Implicit SLAM with Enhanced Local Constraints and Computable Prior
Jiahui Wang, Yinan Deng, Yi Yang, Yufeng Yue
 PDF
BaSeNet: A Learning-Based Mobile Manipulator Base Pose Sequence Planning for Pickup Tasks
Lakshadeep Naik, Sinan Kalkan, Sune Lundø Sørensen, Kjærgaard Mikkel, Norbert Krüger
 PDF
A Heterogeneous System of Systems Framework for Proactive Path Planning of a UAV-Assisted UGV in Uncertain Environments
Patrick Sherman, Nicola Bezzo
 PDF
Breaking Symmetries Leads to Diverse Quadrupedal Gaits
Jiayu Ding, Zhenyu Gan
 PDF
A Perceptive Pneumatic Artificial Muscle Empowered by Double Helix Fiber Reinforcement
Yufeng Wang, houping wu, Chenchen Li, Yu Lian Peng, Hongbo Wang
 PDF
CMR-Agent: Learning a Cross-Modal Agent for Iterative Image-To-Point Cloud Registration
Gongxin Yao, Yixin Xuan, Xinyang Li, Yu Pan
 PDF
Toward Perpetual Occlusion-Aware Observation of Comb States in Living Honeybee Colonies
Jan Blaha, Tomas Vintr, Jan Mikula, Jiří Janota, Tomáï¿1⁄2 Rouček, Jiri Ulrich, Fatemeh Rekabi Bana, Laurenz Alexander Fedotoff, Martin Stefanec, Thomas Schmickl, Farshad Arvin, Miroslav Kulich, Tomas Krajnik
 PDF
BOMP: Bin-Optimized Motion Planning
Zachary Tam, Karthik Dharmarajan, Tianshuang Qiu, Yahav Avigal, Jeffrey Ichnowski, Ken Goldberg
 PDF
Online Rotor Fault Detection and Isolation for Vertical Takeoff and Landing Vehicles
Jiaqi Lian, Neeraj Gandhi, Yifan Wang, Linh Thi Xuan Phan
 PDF
Multi-Robot Path Planning with Boolean Specification Tasks under Motion Uncertainties
Zhe Zhang, Zhou He, Ning Ran, Michel Reniers
 PDF
A Two-Stage Reinforcement Learning Approach for Robot Navigation in Long-Range Indoor Dense Crowd Environments
Xinghui Jing, Xin Xiong, Fuhao Li, Tao Zhang, Long Zeng
 PDF
Optimizing Crowd-Aware Multi-Agent Path Finding through Local Broadcasting with Graph Neural Networks
Phu Pham, Aniket Bera
 PDF
STAIR: Semantic-Targeted Active Implicit Reconstruction
Liren Jin, Haofei Kuang, Yue Pan, Cyrill Stachniss, Marija Popovic
 PDF
Star-Searcher: A Complete and Efficient Aerial System for Autonomous Target Search in Complex Unknown Environments
Yiming Luo, Zixuan Zhuang, Neng Pan, Chen Feng, Shaojie Shen, Fei Gao, Hui Cheng, Boyu Zhou
 PDF
Neural Trajectory Model: Implicit Neural Trajectory Representation for Trajectories Generation
Zihan YU, Yuqing Tang
 PDF
Safety Compliant, Ergonomic and Time-Optimal Trajectory Planning for Collaborative Robotics
Silvia Proia, Graziana Cavone, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli
 PDF
Force-Triggered Control Design for User Intent-Driven Assistive Upper-Limb Robots
Maxime Manzano, Sylvain Guegan, Ronan Le Breton, Louise Devigne, Marie Babel
 PDF
Robot-Assisted Deep Venous Thrombosis Ultrasound Examination Using Virtual Fixture
Dianye Huang, Chenguang Yang, Mingchuan Zhou, Angelos Karlas, Nassir Navab, Zhongliang Jiang
 PDF
Evaluating the Impact of a Semi-Autonomous Interface on Configuration Space Accessibility for Multi-DOF Upper Limb Prostheses
Rebecca J. Greene, Christopher Hunt, Brooklyn Paige Acosta, Zihan Huang, Rahul Kaliki, Nitish V. Thakor
 PDF
Ensuring Safety in LLM-Driven Robotics: A Cross-Layer Sequence Supervision Mechanism
Ziming Wang, Qingchen Liu, Jiahu Qin, Man Li
 PDF
Real-Time Model Predictive Control with Zonotope-Based Neural Networks for Bipedal Social Navigation
Abdulaziz Shamsah, Krishanu Agarwal, Shreyas Kousik, Ye Zhao
 PDF
Semantics-Aware Receding Horizon Planner for Object-Centric Active Mapping
Liang Lu, Yinqiang Zhang, Peng Zhou, Jiaming Qi, Yipeng PAN, Changhong Fu, Jia Pan
 PDF
CoPa: General Robotic Manipulation through Spatial Constraints of Parts with Foundation Models
Haoxu Huang, Fanqi Lin, Yingdong Hu, Shengjie Wang, Yang Gao
 PDF
LGMCTS: Language-Guided Monte-Carlo Tree Search for Executable Semantic Object Rearrangement
Haonan Chang, Kai Gao, Kowndinya Boyalakuntla, Alex Lee, Baichuan Huang, Jingjin Yu, Abdeslam Boularias
 PDF
Path-Parameterised RRTs for Underactuated Systems
Damian Abood, Ian Manchester
 PDF
CBFkit: A Control Barrier Function Toolbox for Robotics Applications
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov
 PDF
Multi-Agent Vulcan: An Information-Driven Multi-Agent Path Finding Approach
Jake Olkin, Viraj Parimi, Brian Williams
 PDF
Contingency Games for Multi-Agent Interaction
Lasse Peters, Andrea Bajcsy, Chih-Yuan Chiu, David Fridovich-Keil, Forrest Laine, Laura Ferranti, Javier Alonso-Mora
 PDF
Bi-Level Trajectory Optimization on Uneven Terrains with Differentiable Wheel-Terrain Interaction Model
Amith Manoharan, Aditya Sharma, Himani Belsare, Kaustab Pal, Madhava Krishna, Arun Kumar Singh
 PDF
Active Information Gathering for Long-Horizon Navigation under Uncertainty by Predicting the Value of Information
Raihan Islam Arnob, Gregory Stein
 PDF
Efficient Trajectory Forecasting and Generation with Conditional Flow Matching
Sean Ye, Matthew Gombolay
 PDF
Self-Reconfiguration Strategies for Space-Distributed Spacecraft
Tianle Liu, Zhixiang Wang, Yongwei Zhang, Ziwei Wang, Zihao Liu, Yizhai Zhang, Panfeng Huang
 PDF
Biased-MPPI: Informing Sampling-Based Model Predictive Control by Fusing Ancillary Controllers
Elia Trevisan, Javier Alonso-Mora
 PDF
The Fingertip Manipulability Assessment of Tendon-Driven Multi-Fingered Hands
Junnan Li, Amartya Ganguly, Luis Figueredo, Sami Haddadin
 PDF
Safety-Critical Autonomous Inspection of Distillation Columns Using Quadrupedal Robots Equipped with Roller Arms
Jaemin Lee, Jeeseop Kim, Aaron Ames
 PDF
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
 PDF