Research Analyzer
← ICRA 2024

All Papers

2337 papers in this venue.

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 47 of 47
Title & Authors Actions
Neural Potential Field for Obstacle-Aware Local Motion Planning
Muhammad Alhaddad, Konstantin Mironov, Aleksei Staroverov, Aleksandr Panov
 PDF
Fingertip Ultrasonic Array for Tactile Rendering
Jace Rozsa, Sarah Costrell, Melisa Orta Martinez, Gary K. Fedder
 PDF
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks Using Reinforcement Learning
Siqi Wang, Shaoyuan Li, Li Yin, Xiang Yin
 PDF
GPU-Accelerated Optimization-Based Collision Avoidance
Zeming Wu, Zhuping Wang, Hao Zhang
 PDF
Graph-Based Scenario-Adaptive Lane-Changing Trajectory Planning for Autonomous Driving
Qing Dong, Zhanhong Yan, Kimihiko Nakano, Xuewu Ji, Yahui Liu
 PDF
TinyMPC: Model-Predictive Control on Resource-Constrained Microcontrollers
Khai Nguyen, Samuel Schoedel, Anoushka Alavilli, Brian Plancher, Zachary Manchester
 PDF
SEQUEL: Semi-Supervised Preference-Based RL with Query Synthesis Via Latent Interpolation
Daniel Marta, Simon Holk, Christian Pek, Iolanda Leite
 PDF
Shape-Changing Robotic Mannequin Shoulder with Bio-Inspired Layered Structure
Juncai Long, Jituo Li, Yiwen Lu, Chengdi Zhou, GuoDong Lu, Yixiong Feng
 PDF
Jade: A Differentiable Physics Engine for Articulated Rigid Bodies with Intersection-Free Frictional Contact
Gang Yang, Siyuan Luo, Yunhai Feng, Zhixin Sun, Chenrui Tie, Lin Shao
 PDF
Behavioral-Based Circular Formation Control for Robot Swarms
Jesús Bautista, Hector Garcia de Marina
 PDF
Online Minimization of the Robot Silhouette Viewed from Eye-to-Hand Camera
Giovanni Cortigiani, Bernardo Brogi, Alberto Villani, Tommaso Lisini Baldi, Nicole D'Aurizio, Domenico Prattichizzo
 PDF
Predicting the Intention to Interact with a Service Robot: The Role of Gaze Cues
Simone Arreghini, Gabriele Abbate, Alessandro Giusti, Antonio Paolillo
 PDF
Adaptive Robot-Human Handovers with Preference Learning
Gojko Perovic, Francesco Iori, Angela Mazzeo, Marco Controzzi, Egidio Falotico
 PDF
Crosstalk-Free Impedance-Separating Array Measurement for Iontronic Tactile Sensors
Funing Hou, Gang Li, Chenxing Mu, Mengqi Shi, Jixiao Liu, Shijie Guo
 PDF
Robustified Time-optimal Collision-free Motion Planning for Autonomous Mobile Robots under Disturbance Conditions
Shuhao Zhang, Mathias Bos, Bastiaan Vandewal, Wilm Decré, Joris Gillis, Jan Swevers
 PDF
VioLA: Aligning Videos to 2D LiDAR Scans
Jun-Jee Chao, Kazim Selim Engin, Nikhil Chavan-Dafle, Bhoram Lee, Volkan Isler
 PDF
ReLU-QP: A GPU-Accelerated Quadratic Programming Solver for Model-Predictive Control
Arun Bishop, John Zhang, Swaminathan Gurumurthy, Kevin Tracy, Zachary Manchester
 PDF
Flow Shadowing: A Method to Detect Multiple Flow Headings Using an Array of Densely Packed Whisker-Inspired Sensors
Teresa Kent, Sarah Bergbreiter
 PDF
A Bayesian Optimization Framework for the Automatic Tuning of MPC-Based Shared Controllers
Anne van der Horst, Bastiaan Guillermo Lorenzo Meere, Dinesh Krishnamoorthy, Saray Bakker, Bram van de Vrande, Henry Stoutjesdijk, Marco Alonso, Elena Torta
 PDF
Adaptive Active Disturbance Rejection Control of an Actuated Ankle Foot Orthosis for Ankle Movement Assistance
Rami Jradi, Hala Rifai, Samer Mohammed
 PDF
A Selectively Controllable Triple-Helical Micromotor
Hongyu Zhao, Min Ye, Bradley J. Nelson, Xiaopu Wang
 PDF
Utilizing a Malfunctioning 3D Printer by Modeling Its Dynamics with Machine Learning
Renzo Caballero, Piotr Piękos, Eric Feron, Jurgen Schmidhuber
 PDF
Trajectory Tracking Runtime Assurance for Systems with Partially Unknown Dynamics
Michael Enqi Cao, Samuel Coogan
 PDF
A Novel Funnel-Based L1 Adaptive Fuzzy Approach for the Control of an Actuated Ankle Foot Orthosis
Oussama Bey, Rami Jradi, Huiseok MOON, Hala Rifai, Kaushik Das Sharma, Yacine Amirat, Samer Mohammed
 PDF
Physics-Informed Neural Networks for Continuum Robots: Towards Fast Approximation of Static Cosserat Rod Theory
Martin Bensch, Tim-David Job, Tim-Lukas Habich, Thomas Seel, Moritz Schappler
 PDF