Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2872 result(s) for “Hybrid Logical/Dynamical Planning and Verification” Page 1 of 58
Title & Authors Actions
As You Wish: Mission Planning with Formal Verification Using LLMs in Precision Agriculture AI summary
Marcos Zuzuarregui, Stefano Carpin
 PDF
PerceptTwin: Semantic Scene Reconstruction for Iterative LLM Planning and Verification AI summary
Charlie Gauthier, Sacha Morin, Liam Paull
 PDF
IDfRA: Self-Verification for Iterative Design in Robotic Assembly AI summary
Nishka Khendry, Christos Margadji, Sebastian William Pattinson
 PDF
Hybrid Dynamics Modeling and Trajectory Planning for Cable-Trailer with Quadruped Robot System AI summary
Wentao Zhang, Shaohang Xu, Gewei Zuo, Bolin Li, Jingbo Wang, Lijun Zhu
 PDF
Contact-Robust Trajectory Planning Via Parametric Sensitivity Analysis for Hybrid Robotic Systems AI summary
Tommaso Belvedere, James Zhu, Marco Cognetti, Paolo Robuffo Giordano
 PDF
Efficient UAV Exploration with Hybrid Global�Local Strategy and Adaptive Yaw Planning AI summary
Yangyang Xue, Xiaotao Liu, Shaojian Zhou, Jingtai Ruan, Ting Huang
 PDF
LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback AI summary
Yunhao Yang, Junyuan Hong, Gabriel Jacob Perin, Zhiwen Fan, Li Yin, Zhangyang (Atlas) Wang, Ufuk Topcu
 PDF
Reimagination with Test-Time Observation Interventions: Distractor-Robust World Model Predictions for Visual Model Predictive Control AI summary
Yuxin Chen, Jianglan Wei, Chenfeng Xu, Boyi Li, Masayoshi Tomizuka, Andrea Bajcsy, Thomas Tian
 PDF
H-MaP: An Iterative and Hybrid Sequential Manipulation Planner AI summary
Berk Cicek, Arda Sarp Yenicesu, Cankut Bora Tuncer, Kutay Demiray, Ozgur S. Oguz
 PDF
Formal Safety Verification and Refinement for Generative Motion Planners Via Certified Local Stabilization AI summary
Devesh Nath, Haoran Yin, Glen Chou
 PDF
Robust LPV Modeling of Precision Motion Systems Via Edge-Theorem Verification AI summary
Yazan Al-Rawashdeh, Mohammad Al Janaideh
 PDF
A Novel Tilting Mechanism for Personal Mobility Robot Platform: Mathematical Modeling and HILS-Based Control Verification AI summary
Sunyeop Lee, Wonchang Yang, Yongseob Lim, Kanghyun Nam
 PDF
Vision-Guided Robotic Grinding with Deep Learning-Based Bead Segmentation and Digital Twin Verification AI summary
Seong Hyeon Kim, Hyo-Young Kim
 PDF
Hybrid Agentic AI-FSM Framework for Instruction-Based Industrial Manipulation Tasks AI summary
Sungmoon Joo, Ikjune Kim
 PDF
MultiHand: Design and Verification of a Dexterous Hand with Multi-Modal Grasping Capabilities AI summary
Yaopeng Tian, Changqing Guo, Shoujie Li, Chenxin Liang, Junbo Tan, Xueqian Wang
 PDF
Do What You Say: Steering Vision-Language-Action Models Via Runtime Reasoning-Action Alignment Verification AI summary
Yilin Wu, Anqi Li, Tucker Hermans, Fabio Ramos, Andrea Bajcsy, Claudia Pérez-D'Arpino
 PDF
ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling AI summary
Caelan Garrett, Fabio Ramos
 PDF
Sample-Based Hybrid Mode Control: Asymptotically Optimal Switching of Algorithmic and Non-Differentiable Control Modes AI summary
Yilang Liu, Haoxiang You, Ian Abraham
 PDF
VeriGraph: Scene Graphs for Execution Verifiable Robot Planning AI summary
Daniel Ekpo, Mara Levy, Saksham Suri, Chuong Huynh, Archana Swaminathan, Abhinav Shrivastava
 PDF
Hybrid Contact Dynamics and Residual-RL Framework for Multi-Point Object Pushing AI summary
Chen Chen, Xu Dai, Jozsef Kovecses
 PDF
Nonlinear Predictive Control of the Continuum and Hybrid Dynamics of a Suspended Deformable Cable for Aerial Pick and Place AI summary
Antonio Rapuano, Yaolei Shen, Federico Califano, Chiara Gabellieri, Antonio Franchi
 PDF
PushingBots: Collaborative Pushing Via Neural Accelerated Combinatorial Hybrid Optimization AI summary
Zili Tang, Ying Zhang, Meng Guo
 PDF
Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications AI summary
Enrico Saccon, Davide De Martini, Matteo Saveriano, Edoardo Lamon, Luigi Palopoli, Marco Roveri
 PDF
Privacy-Aware LLMs-Assisted Task Planning for Home Robots AI summary
Zhanjie Chen, Weihua Sheng
 PDF
Path Planning for Four-Wheel Steering Forklifts in Constrained Spaces: A State-Embedded Hamiltonian Fast Marching Approach AI summary
Julien Pascal, Jean-Marie Mirebeau, Benoit Thuilot and Paul Checchin
 PDF
Kinodynamic Task and Motion Planning Using VLM-Guided and Interleaved Sampling AI summary
Minseo Kwon, Young J. Kim
 PDF
A Hybrid Magnetic Actuation System for Hybrid Microrobotic Targeted Delivery AI summary
Yuanbiao Ma, Shengming Luo, Bin Wang, Haoyu Zhang, Ji Lang, Zhiqiang Tang, Li Zhang, Qianqian WANG
 PDF
Experimental Validation of a Motor�SMA Hybrid Actuation for Lightweight Wearable Robot AI summary
Jeongae Bak, Kyungjun Choi, Hyunmok Jung, Hyunuk Seo, DAEHYUN KIM
 PDF
Autonomous Exploration for Shape Reconstruction and Measurement Via Informative Contact-Guided Planning AI summary
Feiyu Zhao, Chenxi Xiao
 PDF
Game-KFS: Game-Theory-Inspired Keyframe Selection for Hybrid Representation Visual SLAM AI summary
Shilang Chen, Bo Yang, Chaoqun Wang, Peidong Fang, Haifei Zhu, Weinan Chen, Yisheng Guan
 PDF
Wind-Aware Optimal Trajectory Planning for Efficient Gliding of Fixed-Wing Aerial Systems AI summary
Luca Morando, Nishanth Bobbili, Luca Masci, Giuseppe Loianno
 PDF
High-Stiffness Capacitive Torque Sensor Based on a Hybrid Scott-Russell and Parallelogram Mechanism AI summary
Jae Yoon Sim, Seung Yeon Lee, Dong-Yeop Seok, Yong Bum Kim, Hyouk Ryeol Choi
 PDF
ES-HPC-MPC: Exponentially Stable Hybrid Perception Constrained MPC for Quadrotor with Suspended Payloads AI summary
Luis F. Recalde, Mrunal Sarvaiya, Giuseppe Loianno, Guanrui Li
 PDF
A Hybrid Optimization Framework for Grasp Synthesis under Partial Observations AI summary
Wenzheng Zhang, Fahira Afzal Maken, Tin Lai, Fabio Ramos
 PDF
Hybrid Membrane�Solenoid Valves for High-Flow, Precisely Controlled Soft Robotic Actuation AI summary
Nikola Velimirovic, C. David Remy, Daniel Bruder
 PDF
A Human Finger-Inspired Rigid-Soft Hybrid Gripper for Damage-Free and Fast Grasping AI summary
Pengyu Zhou, Zeyang Gao, Xiaoxu Zhang, Xiaowen Yin, Hongbin Fang, Jian Xu
 PDF
Enhancing Exploration with Diffusion Policies in Hybrid Off-Policy RL: Application to Non-Prehensile Manipulation AI summary
Huy Le, Tai Hoang, Miroslav Gabriel, Gerhard Neumann, Ngo Anh Vien
 PDF
Distributed First-Order and Second-Order Adaptive Hybrid Optimization for Multi-Robot Learning AI summary
Yilun Zhang, Xianghua Xie, Lu Zhang
 PDF
Reactive Slip Control in Multifingered Grasping: Hybrid Tactile Sensing and Internal-Force Optimization AI summary
Théo Ayral, Saifeddine ALOUI, Mathieu Grossard
 PDF
Hybrid Soft-Rigid Elbow Exosuit: Theory, Mechatronic Design, and Experimental Assessment AI summary
Ali KhalilianMotamed Bonab, Cristian Camardella, Antonio Frisoli, and Domenico Chiaradia
 PDF
Disturbance-Aware Adaptive Compensation in Hybrid Force-Position Locomotion Policy for Legged Robots AI summary
Yang Zhang, Zhanxiang Cao, Buqing Nie, Yangqing Fu, Haoyang Li, Zheng Zhang, Yizhi Chen, Xiaokang Yang, Yue Gao
 PDF
ST-HNet: A CNN-LSM Hybrid Architecture for Spatio-Temporal Feature Learning in Event-Based Visual Place Recognition AI summary
Xun Xiao, Shasha Guo, Tie Junbo, Jingyue Zhao, Ziqi Wang, Yuan Li, jingzhuo yuan, Qiang Dou, Lei Wang
 PDF
CoPaRo: A Compact, Backdrivable 6-DOF Hybrid Parallel Robot with Serial-Like Form Factor and Large Workspace AI summary
Samuel Verret, Clement Gosselin
 PDF
Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning AI summary
Xiatao Sun, Yuxuan Wang, Shuo Yang, Yinxing Chen, Daniel Rakita
 PDF
An Entropy-Based Hybrid Local-Global Algorithm to Navigate Information-Sparse Environments AI summary
Bennett Carley, Jason O'Kane
 PDF
EIT�Pneumatic Hybrid Robotic Skin for Practical and Accurate Force Map Reconstruction AI summary
Junhwi Cho, Sunggyu Bae, Junghyeon Ma, Hyosang Lee, Jung Kim, Kyungseo Park
 PDF
Mixed-Reality Digital Twins: Leveraging the Physical and Virtual Worlds for Hybrid Sim2Real Transition of Multi-Agent Reinforcement Learning Policies AI summary
Chinmay Samak, Tanmay Samak, Venkat Krovi
 PDF
A Novel Hybrid Ureteroscope Tracking for Robotic-Assisted Retrograde Intrarenal Surgery Via Recognition of Pathway with Lumen Identification AI summary
Jung-Min Han, Dong-Soo Kwon, Ki-Uk Kyung
 PDF
Transferring Policy of Offline Reinforcement Learning from Hybrid Dataset to Real World Via Progressive Neural Network AI summary
Pengyu Zhao, Zheng Fang, Tongxu Ai, Eric Nichols, Randy Gomez, Bo He, Guangliang Li
 PDF
DVMM: A Dual-View Combination Descriptor for Multi-Modal LiDARs Online Place Recognition AI summary
Xuzhe Duan, Qingwu Hu, Mingyao Ai, Pengcheng Zhao, Jiayuan Li
 PDF