Research Analyzer
← IROS 2024

All Papers

1856 papers in this venue.

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 4 of 38
Title & Authors Actions
Toward Reliable Human Pose Forecasting with Uncertainty
Saeed Saadatnejad, Mehrshad Mirmohammadi, Matin Daghyani, Parham Saremi, Yashar Zoroofchi Benisi, Amirhossein Alimohammadi, Zahra TehraniNasab, Taylor Mordan, Alexandre Alahi
 PDF
AirShot: Efficient Few-Shot Detection for Autonomous Exploration
Zihan Wang, Bowen Li, Chen Wang, Sebastian Scherer
 PDF
BOMP: Bin-Optimized Motion Planning
Zachary Tam, Karthik Dharmarajan, Tianshuang Qiu, Yahav Avigal, Jeffrey Ichnowski, Ken Goldberg
 PDF
PreAfford: An Affordance-Based Pre-Grasping Framework with High Adaptability
Kairui Ding, Boyuan Chen, Ruihai Wu, Yuyang Li, Zongzheng Zhang, Huan-ang Gao, Siqi Li, Yixin Zhu, Guyue Zhou, Hao Dong, Hao Zhao
 PDF
NeuSurfEmb: A Complete Pipeline for Dense Correspondence-Based 6D Object Pose Estimation without CAD Models
Francesco Milano, Jen Jen Chung, Hermann Blum, Roland Siegwart, Lionel Ott
 PDF
Neural Kinodynamic Planning: Learning for Kinodynamic Tree Expansion
Tin Lai, Weiming Zhi, Tucker Hermans, Fabio Ramos
 PDF
BuzzRacer: A Palm-Sized Autonomous Vehicle Platform for Testing Multi-Agent Adversarial Decision-Making
Zhiyuan Zhang, Panagiotis Tsiotras
 PDF
Skin the Sheep Not Only Once: Reusing Various Depth Datasets to Drive the Learning of Optical Flow
Sheng Chi Huang, Wei-Chen Chiu
 PDF
SGNet: Salient Geometric Network for Point Cloud Registration
Qianliang Wu, Yaqing Ding, Lei Luo, Haobo Jiang, Shuo Gu, Chuanwei Zhou, Jin Xie, JIAN YANG
 PDF
Foam-Embedded Soft Robotic Joint with Inverse Kinematic Modeling by Iterative Self-Improving Learning
Anlun Huang, Yongxi Cao, Jiajie Guo, Zhonggui Fang, Yinyin Su, Sicong LIU, Juan Yi, Hongqiang WANG, Jian Dai, Zheng Wang
 PDF
Deep Sensor Fusion with Constraint Safety Bounds for High Precision Localization
Sebastian Schmidt, Ludwig Stumpp, Diego Valverde Garrro, Stephan Günnemann
 PDF
Incrementally Building Room-Scale Language-Embedded Gaussian Splats (LEGS) with a Mobile Robot
Justin Yu, Kush Hari, Kishore Srinivas, Karim El-Refai, Adam Rashid, Chung Min Kim, Justin Kerr, Richard Cheng, Muhammad Zubair Irshad, Ashwin Balakrishna, Thomas Kollar, Ken Goldberg
 PDF
SculptDiff: Learning Robotic Clay Sculpting from Humans with Goal Conditioned Diffusion Policy
Alison Bartsch, Arvind Car, Charlotte Avra, Amir Barati Farimani
 PDF
Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic Violations
Craig Innes, Subramanian Ramamoorthy
 PDF
Audio-Visual Traffic Light State Detection for Urban Robots
Sagar Gupta, Akansel Cosgun
 PDF
Streamlining Object Pushing: Behavior Tree-Based Coordination of Control and Planning
Filippo Bertoncelli, Lorenzo Sabattini
 PDF
Hyperboloidal Pneumatic Artificial Muscle with Braided Straight Fibers
Watanabe, Masahiro,Tadakuma, Kenjiro,Tadokoro, Satoshi
 PDF
Interactive Reinforcement Learning from Natural Language Feedback
Imene Tarakli, Samuele Vinanzi, Alessandro Di Nuovo
 PDF
Harmonic Mobile Manipulation
Ruihan Yang, Yejin Kim, Rose Hendrix, Aniruddha Kembhavi, Xiaolong Wang, kiana ehsani
 PDF
TřiVis: Versatile, Reliable, and High-Performance Tool for Computing Visibility in Polygonal Environments
Jan Mikula, Miroslav Kulich, Libor Preucil
 PDF
R2SNet: Scalable Domain Adaptation for Object Detection in Cloud-Based Robotic Ecosystems Via Proposal Refinement
Michele Antonazzi, Matteo Luperto, N. Alberto Borghese, Nicola Basilico
 PDF
Efficient Feature Mapping Using a Collaborative Team of AUVs
Benjamin Biggs, Daniel Stilwell, Harun Yetkin, James McMahon
 PDF
Fractional Order Modeling and Control of Hydrogel-Based Soft Pneumatic Bending Actuators
Jesús de la Morena, David Redrejo López, Francisco Ramos, Vicente Feliu, Andres S. Vazquez
 PDF
Answerability Fields: Answerable Location Estimation Via Diffusion Models
Daichi Azuma, Taiki Miyanishi, Shuhei Kurita, Koya Sakamoto, Motoaki Kawanabe
 PDF
Modeling of Hydraulic Soft Hand with Rubber Sheet Reservoir and Evaluation of Its Grasping Flexibility and Control
Kyosuke Ishibashi, Hiroki Ishikawa, Osamu Azami, Ko Yamamoto
 PDF
RaNDT SLAM: Radar SLAM Based on Intensity-Augmented Normal Distributions Transform
Maximilian Hilger, Nils Mandischer, Burkhard Corves
 PDF
Model-Based Policy Optimization Using Symbolic World Model
Andrey Gorodetsky, Konstantin Mironov, Aleksandr Panov
 PDF
Probabilistic Closed-Loop Active Grasping
Henry Schaub, Christian Wolff, Maximilian Hoh, Alfred Schöttl
 PDF
Design of a Soft Shell for a Spherical Exploration Robot Traversing Varying Terrain
Meghali Prashant Dravid, Micah Oevermann, David McDougall, David Dugas, Robert Ambrose
 PDF
Co-RaL: Complementary Radar-Leg Odometry with 4-DoF Optimization and Rolling Contact
Sangwoo Jung, Wooseong Yang, Ayoung Kim
 PDF
Local Path Planning among Pushable Objects Based on Reinforcement Learning
Linghong Yao, Valerio Modugno, Andromachi Maria Delfaki, Yuanchang Liu, Danail Stoyanov, Dimitrios Kanoulas
 PDF
Design and Validation of Soft Flexible Aerial Robot for Safe Human-Robot Interaction
Fuhua Jia, Zihao Zheng, Cheng'ao LI, Junlin XIAO, Rui Li, Xiaoying YANG, Adam Rushworth, Salman Ijaz
 PDF
Exploring Constrained Reinforcement Learning Algorithms for Quadrupedal Locomotion
Joonho Lee, Lukas Schroth, Victor Klemm, Marko Bjelonic, Alexander Reske, Marco Hutter
 PDF
Language-Driven Grasp Detection with Mask-Guided Attention
Tuan Van Vo, Minh Nhat Vu, Baoru Huang, An Dinh Vuong, Ngan Le, Thieu Vo, Anh Nguyen
 PDF
Sensorimotor Attention and Language-Based Regressions in Shared Latent Variables for Integrating Robot Motion Learning and LLM
Kanata Suzuki, Tetsuya Ogata
 PDF
Procedural Generation of Tunnel Networks for Unsupervised Training and Testing in Underground Applications
Lorenzo Cano, Alejandro R. Mosteo, Danilo Tardioli
 PDF
Neuromorphic Quadratic Programming for Efficient and Scalable Model Predictive Control
Ashish Rao Mangalore, Gabriel Andres Fonseca Guerra, Sumedh Risbud, Philipp Stratmann, Andreas Wild
 PDF
Efficient Incremental Penetration Depth Estimation between Convex Geometries
Wei Gao
 PDF
Real-Time Model Predictive Control with Zonotope-Based Neural Networks for Bipedal Social Navigation
Abdulaziz Shamsah, Krishanu Agarwal, Shreyas Kousik, Ye Zhao
 PDF
RoboCop: A Robust Zero-Day Cyber-Physical Attack Detection Framework for Robots
UPINDER KAUR, Berkay Celik, Richard Voyles
 PDF
Accurate Power Consumption Estimation Method Makes Walking Robots Energy Efficient and Quiet
Giorgio Valsecchi, Andrea Vicari, Fabian Tischhauser, Manolo Garabini, Marco Hutter
 PDF
Object-Oriented Material Classification and 3D Clustering for Improved Semantic Perception and Mapping in Mobile Robots
Siva Krishna Ravipati, Ehsan Latif, Suchendra Bhandarkar, Ramviyas Parasuraman
 PDF
A Biomimetic Robot Crawling Upstream Using Adhesive Suckers Inspired by Net-Winged Midge Larvae
Haoyuan Xu, Shuyong Zhao, Jiale Zhi, Chongze Bi, Li Wen
 PDF
Robust-Adaptive Two-Loop Control for Robots with Mixed Rigid-Elastic Joints
Minh Tuan Hua, Emil Mühlbradt Sveen, Siri Marte Schlanbusch, Filippo Sanfilippo
 PDF
Neural Trajectory Model: Implicit Neural Trajectory Representation for Trajectories Generation
Zihan YU, Yuqing Tang
 PDF
Channel-Wise Motion Features for Efficient Motion Segmentation
Riku Inoue, Masamitsu Tsuchiya, Yuji Yasui
 PDF
Image-Based Time-Varying Contact Force Control of Aerial Manipulator Using Robust Impedance Filter
Jeonghyun Byun, Junha Kim, Dohyun Eom, Dongjae Lee, Changhyeon Kim, H. Jin Kim
 PDF
V-PRISM: Probabilistic Mapping of Unknown Tabletop Scenes
Herbert Wright, Weiming Zhi, Matthew Johnson-Roberson, Tucker Hermans
 PDF
HabiCrowd: A High Performance Simulator for Crowd-Aware Visual Navigation
An Dinh Vuong, Tien Toan Nguyen, Minh Nhat Vu, Baoru Huang, Huynh Thi Thanh Binh, Thieu Vo, Anh Nguyen
 PDF
Mitigating Collision Forces and Improving Response Performance in Human-Robot Interaction by Using Dual-Motor Actuators
Amin Khorasani, Muhammad Usman, Thierry Hubert, Raphaël Furnémont, Dirk Lefeber, Bram Vanderborght, Tom Verstraten
 PDF