Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 11 of 47
Title & Authors Actions
Benchmarking Multi-Robot Coordination in Realistic, Unstructured Human-Shared Environments
Lukas Heuer, Luigi Palmieri, Anna Mannucci, Sven Koenig, Martin Magnusson
 View PDF
Experience Consistency Distillation Continual Reinforcement Learning for Robotic Manipulation Tasks
Chao Zhao, Jie Xu, Ru Peng, Xingyu Chen, Kuizhi Mei, Xuguang Lan
 View PDF
DiPA: Probabilistic Multi-Modal Interactive Prediction for Autonomous Driving
Anthony Knittel, Majd Hawasly, Stefano V. Albrecht, John Redford, Subramanian Ramamoorthy
 View PDF
MORALS: Analysis of High-Dimensional Robot Controllers Via Topological Tools in a Latent Space
Ewerton Vieira, Aravind Sivaramakrishnan, Sumanth Tangirala, Edgar Granados, Konstantin Mischaikow, Kostas E. Bekris
 View PDF
RIDE: Self-Supervised Learning of Rotation-Equivariant Keypoint Detection and Invariant Description for Endoscopy
Mert Asim Karaoglu, Viktoria Markova, Nassir Navab, Benjamin Busam, Alexander Ladikos
 View PDF
NoMaD: Goal Masked Diffusion Policies for Navigation and Exploration
Ajay Sridhar, Dhruv Shah, Catherine Glossop, Sergey Levine
 View PDF
WiBot 1.0: A Modular Reconfigurable Glass Cleaning Robot for High-Rise Buildings
Sudheera Akalanka, Harith Sandeepa, Manu Athauda Pathirana, Ranjith Amarasinghe, A.G.B.P. Jayasekara, Gihan Charith Premachandra Hanchapola Appuhamilage, U-Xuan Tan
 View PDF
Robotic Inspection and Subsurface Defect Mapping Using Impact-Echo and Ground Penetrating Radar
Ejup Hoxha, Jinglun Feng, Diar Sanakov, Jizhong Xiao
 View PDF
Dual-Mode Human-Robot Collaboration with Guaranteed Safety Using Time-Varying Zeroing Control Barrier Functions and Quadratic Program
Kaige Shi, Guoqiang Hu
 View PDF
LCCRAFT: LiDAR and Camera Calibration Using Recurrent All-Pairs Field Transforms without Precise Initial Guess
Yu-Chen Lee, Kuan-Wen Chen
 View PDF
Contact Energy Based Hindsight Experience Prioritization
Erdi Sayar, Zhenshan Bing, Carlo D'Eramo, Ozgur S. Oguz, Alois Knoll
 View PDF
Square-Root Inverse Filter-based GNSS-Visual-Inertial Navigation
Jun Hu, Xiaoming Lang, Feng Zhang, Yinian Mao, Guoquan Huang
 View PDF
Efficient 3D Instance Mapping and Localization with Neural Fields
George Tang, Krishna Murthy Jatavallabhula, Antonio Torralba
 View PDF
Probabilistic 3D Multi-Object Cooperative Tracking for Autonomous Driving via Differentiable Multi-Sensor Kalman Filter
Hsu-kuang Chiu, Chien-Yi Wang, Min-Hung Chen, Stephen F. Smith
 View PDF
Multi-Robot Search in a 3D Environment with Intersection System Constraints
Yan-Shuo Li, Kuo-Shih Tseng
 View PDF
Automated Non-Invasive Analysis of Motile Sperms Using Cross-Scale Guidance Network
Wei DAI, Zixuan Wu, Jiaqi Wang, Rui Liu, Min Wang, Tianyi WU, JUNXIAN ZHOU, Zhuoran Zhang, Jun Liu
 View PDF
Masked Visual-Tactile Pre-training for Robot Manipulation
Qingtao Liu, Qi Ye, Zhengnan Sun, Yu Cui, Gaofeng Li, Jiming Chen
 View PDF
Forgetting in Robotic Episodic Long-Term Memory
Joana Plewnia, Fabian Peller-Konrad, Tamim Asfour
 View PDF
CTopPRM: Clustering Topological PRM for Planning Multiple Distinct Paths in 3D Environments
Matej Novosad, Robert Penicka, Vojtech Vonasek
 View PDF
Vehicle Behavior Prediction by Episodic-Memory Implanted NDT
Peining Shen, Jianwu Fang, Hongkai Yu, Jianru Xue
 View PDF
MUI-TARE: Cooperative Multi-Agent Exploration with Unknown Initial Position
Jingtian Yan, Lin XingQiao, Zhongqiang Ren, Shiqi Zhao, Jieqiong Yu, CHAO CAO, Peng Yin, Ji Zhang, Sebastian Scherer
 View PDF
Goal-Conditioned Reinforcement Learning with Disentanglement-Based Reachability Planning
Zhifeng Qian, YOU MINGYU, Zhou Hongjun, Xuanhui Xu, Bin He
 View PDF
SuperFusion: Multilevel LiDAR-Camera Fusion for Long-Range HD Map Generation
Hao Dong, Weihao Gu, Xianjing Zhang, Jintao Xu, Rui Ai, Huimin Lu, Juho Kannala, Xieyuanli Chen
 View PDF
Transformer-CNN Cohort: Semi-Supervised Semantic Segmentation by the Best of Both Students
Xu Zheng, Yunhao Luo, Chong Fu, Kangcheng Liu, Lin Wang
 View PDF
LiRaFusion: Deep Adaptive LiDAR-Radar Fusion for 3D Object Detection
Jingyu Song, Lingjun Zhao, Katherine Skinner
 View PDF
Model-Based Runtime Monitoring with Interactive Imitation Learning
Huihan Liu, Shivin Dass, Roberto Martín-Martín, Yuke Zhu
 View PDF
Bat Planner: Aggressive Flying Ball Player
Huan Yu, Jie Tu, Pengqin Wang, Zhi Zheng, Kewen Zhang, GuoDong Lu, Fei Gao, Jin Wang
 View PDF
BaSAL: Size Balanced Warm Start Active Learning for LiDAR Semantic Segmentation
Jiarong WEI, Yancong Lin, Holger Caesar
 View PDF
Distribution-Aware Continual Test-Time Adaptation for Semantic Segmentation
Jiayi Ni, Senqiao Yang, Ran Xu, Jiaming Liu, Xiaoqi Li, Wenyu Jiao, Zehui Chen, Yi Liu, Shanghang Zhang
 View PDF
Boosting Adversarial Training in Safety-Critical Systems through Boundary Data Selection
Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay
 View PDF
Gathering Data from Risky Situations with Pareto-Optimal Trajectories
Brennan Brodt, Alyssa Pierson
 View PDF
Helical Control in Latent Space: Enhancing Robotic Craniotomy Precision in Uncertain Environments
Yuanyuan Jia, Jessica Qu, Tadahiro Taniguchi
 View PDF
Optimization of Flexible Bronchoscopy Shape Sensing Using Fiber Optic Sensors
Xinran Liu, Hao Chen, Hongbin Liu
 View PDF
Point Cloud-Based Control Barrier Function Regression for Safe and Efficient Vision-Based Control
Massimiliano de Sa, Venkata Naga Prasanth Kotaru, Koushil Sreenath
 View PDF
Highway-Driving with Safe Velocity Bounds on Occluded Traffic
Truls Nyberg, Jonne van Haastregt, Jana Tumova
 View PDF
Reconfiguration of a 2D Structure Using Spatio-Temporal Planning and Load Transferring
Javier Garcia Gonzalez, Michael Yannuzzi, Peter Kramer, Christian Rieck, Sándor Fekete, Aaron Becker
 View PDF
Conflict Area Prediction for Boosting Search-Based Multi-Agent Pathfinding Algorithms
Jaesung Ryu, Youngjoon Kwon, Sangho Yoon, Kyungjae Lee
 View PDF
MMPI: A Flexible Radiance Field Representation by Multiple Multi-Plane Images Blending
Yuze He, Peng Wang, Yubin Hu, Wang Zhao, Ran Yi, Yong-Jin Liu, Wenping Wang
 View PDF
Improved Generalization of Probabilistic Movement Primitives for Manipulation Trajectories
Xueyang Yao, Yinghan Chen, Bryan Patrick Tripp
 View PDF
Direct 3D Model-Based Object Tracking with Event Camera by Motion Interpolation
Yufan Kang, Guillaume Caron, Ryoichi Ishikawa, Adrien Escande, Kevin Chappellet, Ryusuke Sagawa, Takeshi Oishi
 View PDF
Task-Driven Domain-Agnostic Learning with Information Bottleneck for Autonomous Steering
Yu Shen, Laura Zheng, Tianyi Zhou, Ming C. Lin
 View PDF
Semantically Guided Feature Matching for Visual SLAM
Oguzhan Ilter, Iro Armeni, Marc Pollefeys, Daniel Barath
 View PDF
Adaptive Passive Biped Dynamic Walking on Unknown Uneven Terrain
Lishen Pu, Yixuan Liu, Zheng Aiqun, Bofeng Qi, Chunquan Xu
 View PDF
Self-Supervised Pretraining and Finetuning for Monocular Depth and Visual Odometry
Boris Chidlovskii, Leonid Antsfeld
 View PDF
MORPH: Design Co-Optimization with Reinforcement Learning Via a Differentiable Hardware Model Proxy
Zhanpeng He, Matei Ciocarlie
 View PDF
TerrainSense: Vision-Driven Mapless Navigation for Unstructured Off-Road Environments
Bilal Hassan, Arjun Sharma, Nadya Abdel Madjid, Majid Khonji, Jorge Dias
 View PDF
Efficient Pose Prediction with Rational Regression applied to vSLAM
George Terzakis, Manolis Lourakis
 View PDF
Reinforcement Learning for Freeform Robot Design
Muhan Li, David Matthews, Sam Kriegman
 View PDF
Regressing Transformers for Data-Efficient Visual Place Recognition
Maria Leyva-Vallina, Nicola Strisciuglio, Nicolai Petkov
 View PDF
Robust Multi-Robot Global Localization with Unknown Initial Pose Based on Neighbor Constraints
yaojie zhang, haowen luo, Weijun Wang, Wei Feng
 View PDF