English
Related papers

Related papers: SMT-based Robot Transition Repair

200 papers

Various neural network architectures are used in many of the state-of-the-art approaches for real-time nonlinear state estimation. With the ever-increasing incorporation of these data-driven models into the estimation domain, model…

Robotics · Computer Science 2025-11-12 Devin Hunter , Chinwendu Enyioha

Many organisms, including various species of spiders and caterpillars, change their shape to switch gaits and adapt to different environments. Recent technological advances, ranging from stretchable circuits to highly deformable soft…

In this paper, we leverage ideas from model-based control to address the sample efficiency problem of reinforcement learning (RL) algorithms. Accelerating learning is an active field of RL highly relevant in the context of time-varying…

Systems and Control · Electrical Eng. & Systems 2023-05-23 Ibrahim Ahmed , Marcos Quinones-Grueiro , Gautam Biswas

Robot navigation systems are critical for various real-world applications such as delivery services, hospital logistics, and warehouse management. Although classical navigation methods provide interpretability, they rely heavily on expert…

Robotics · Computer Science 2025-10-17 Shiwei Feng , Xuan Chen , Zikang Xiong , Zhiyuan Cheng , Yifei Gao , Siyuan Cheng , Sayali Kate , Xiangyu Zhang

Reinforcement learning (RL) has demonstrated great potential in robotic operations. However, its data-intensive nature and reliance on the Markov Decision Process (MDP) assumption limit its practical deployment in real-world scenarios…

Real-world reinforcement learning (RL) offers a promising approach to training precise and dexterous robotic manipulation policies in an online manner, enabling robots to learn from their own experience while gradually reducing human labor.…

Functional autonomous systems often realize complex tasks by utilizing state machines comprised of discrete primitive behaviors and transitions between these behaviors. This architecture has been widely studied in the context of…

Robotics · Computer Science 2023-09-18 Wyatt Ubellacker , Noel Csomay-Shanklin , Tamas G. Molnar , Aaron D. Ames

Autonomy for robots interacting with sand will enable a wide range of beneficial behaviors, from earth moving for construction and farming vehicles to navigating rough terrain for Mars rovers. The goal of this work is to shape sand into…

Robotics · Computer Science 2019-08-08 Wooshik Kim , Catherine Pavlov , Aaron M. Johnson

This brief addresses the gearshifting problem for Semi-Automated Manual Transmissions (S-AMT) in powered two-wheelers, a powertrain setup that allows fast and smooth gear shifts with minimal modifications to the traditional manual…

Systems and Control · Electrical Eng. & Systems 2024-12-06 Edoardo Catenaro , Giulio Panzani , Davide Sette , Sergio M. Savaresi

Multi-robot formation control has various applications in domains such as vehicle troops, platoons, payload transportation, and surveillance. Maintaining formation in a vehicle platoon requires designing a suitable control scheme that can…

Robotics · Computer Science 2026-03-17 Rishabh Dev Yadav

Precise and high-fidelity force control is critical for new generations of robots that interact with humans and unknown environments. Mobile robots, such as wearable devices and legged robots, must also be lightweight to accomplish their…

Robotics · Computer Science 2022-07-07 Jeff Denis , Jean-Sebastien Plante , Alexandre Girard

This paper addresses the challenge of enabling a single robot to effectively assist multiple humans in decision-making for task planning domains. We introduce a comprehensive framework designed to enhance overall team performance by…

Robotics · Computer Science 2023-10-17 Abhinav Dahiya , Stephen L. Smith

This paper considers the classical state machine replication (SMR) problem in a distributed system model inspired by cross-chain exchanges. We propose a novel SMR protocol adapted for this model. Each state machine transition takes $O(n)$…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-15 Yingjie Xue , Maurice Herlihy

Machine Translation (MT) has the potential to help people overcome language barriers and is widely used in high-stakes scenarios, such as in hospitals. However, in order to use MT reliably and safely, users need to understand when to trust…

Human-Computer Interaction · Computer Science 2022-05-17 Wesley Hanwen Deng , Nikita Mehandru , Samantha Robertson , Niloufar Salehi

This paper investigates the robot state estimation problem within a non-inertial environment. The proposed state estimation approach relaxes the common assumption of static ground in the system modeling. The process and measurement models…

Robotics · Computer Science 2024-03-26 Zijian He , Sangli Teng , Tzu-Yuan Lin , Maani Ghaffari , Yan Gu

Transfer learning has the potential to reduce the burden of data collection and to decrease the unavoidable risks of the training phase. In this letter, we introduce a multirobot, multitask transfer learning framework that allows a system…

Robotics · Computer Science 2018-04-04 Karime Pereida , Mohamed K. Helwa , Angela P. Schoellig

Pre-trained vision transformers have strong representation benefits to various downstream tasks. Recently, many parameter-efficient fine-tuning (PEFT) methods have been proposed, and their experiments demonstrate that tuning only 1\% extra…

Computer Vision and Pattern Recognition · Computer Science 2024-04-30 Henry Hengyuan Zhao , Pichao Wang , Yuyang Zhao , Hao Luo , Fan Wang , Mike Zheng Shou

Continuum robots, characterized by their high flexibility and infinite degrees of freedom (DoFs), have gained prominence in applications such as minimally invasive surgery and hazardous environment exploration. However, the intrinsic…

Robotics · Computer Science 2023-09-26 Peiyu Luo , Shilong Yao , Yiyao Yue , Jiankun Wang , Hong Yan , Max Q. -H. Meng

Markov state models (MSMs) are widely employed to analyze the kinetics of complex systems. But despite their effectiveness in many applications, MSMs are prone to systematic or statistical errors, often exacerbated by suboptimal…

Data Analysis, Statistics and Probability · Physics 2025-08-12 Yehor Tuchkov , Luke Evans , Sonya M. Hanson , Erik H. Thiede

Human-robot teaming (HRT) systems often rely on large-scale datasets of human and robot interactions, especially for close-proximity collaboration tasks such as human-robot handovers. Learning robot manipulation policies from raw,…

Robotics · Computer Science 2025-08-14 Yuekun Wu , Yik Lung Pang , Andrea Cavallaro , Changjae Oh
‹ Prev 1 8 9 10 Next ›