English
Related papers

Related papers: Real-Time Model Checking for Closed-Loop Robot Rea…

200 papers

Loco-manipulation planning skills are pivotal for expanding the utility of robots in everyday environments. These skills can be assessed based on a system's ability to coordinate complex holistic movements and multiple contact interactions…

Robotics · Computer Science 2023-08-21 Jean-Pierre Sleiman , Farbod Farshidian , Marco Hutter

Contact-based decision and planning methods are becoming increasingly important to endow higher levels of autonomy for legged robots. Formal synthesis methods derived from symbolic systems have great potential for reasoning about high-level…

Robotics · Computer Science 2022-01-04 Ye Zhao , Yinan Li , Luis Sentis , Ufuk Topcu , Jun Liu

Reactive collision avoidance is essential for agile robots navigating complex and dynamic environments, enabling real-time obstacle response. However, this task is inherently challenging because it requires a tight integration of…

Robotics · Computer Science 2025-06-06 Alessandro Saviolo , Niko Picello , Jeffrey Mao , Rishabh Verma , Giuseppe Loianno

Robotic dexterous in-hand manipulation, where multiple fingers dynamically make and break contact, represents a step toward human-like dexterity in real-world robotic applications. Unlike learning-based approaches that rely on large-scale…

Robotics · Computer Science 2025-05-09 Yongpeng Jiang , Mingrui Yu , Xinghao Zhu , Masayoshi Tomizuka , Xiang Li

In recent years, the integration of prediction and planning through neural networks has received substantial attention. Despite extensive studies on it, there is a noticeable gap in understanding the operation of such models within a…

Robotics · Computer Science 2024-07-09 Jiayu Guo , Mingyue Feng , Pengfei Zhu , Chengjun Li , Jian Pu

In this paper, we show how a planning algorithm can be used to automatically create and update a Behavior Tree (BT), controlling a robot in a dynamic environment. The planning part of the algorithm is based on the idea of back chaining.…

Robotics · Computer Science 2020-07-16 Michele Colledanchise , Diogo Almeida , Petter Ögren

For motion planning and control of autonomous vehicles to be proactive and safe, pedestrians' and other road users' motions must be considered. In this paper, we present a vehicle motion planning and control framework, based on Model…

Systems and Control · Computer Science 2019-03-20 Ivo Batkovic , Mario Zanon , Mohammad Ali , Paolo Falcone

Reactive and safe agent modelings are important for nowadays traffic simulator designs and safe planning applications. In this work, we proposed a reactive agent model which can ensure safety without comprising the original purposes, by…

Multiagent Systems · Computer Science 2021-09-15 Yue Meng , Zengyi Qin , Chuchu Fan

An intelligent agent operating in the real-world must balance achieving its goal with maintaining the safety and comfort of not only itself, but also other participants within the surrounding scene. This requires jointly reasoning about the…

Computer Vision and Pattern Recognition · Computer Science 2021-04-30 Jerry Liu , Wenyuan Zeng , Raquel Urtasun , Ersin Yumer

Active sensing and planning in unknown, cluttered environments is an open challenge for robots intending to provide home service, search and rescue, narrow-passage inspection, and medical assistance. Although many active sensing methods…

Robotics · Computer Science 2022-08-25 Hanwen Ren , Ahmed H. Qureshi

In multi-robot multi-target tracking, robots coordinate to monitor groups of targets moving about an environment. We approach planning for such scenarios by formulating a receding-horizon, multi-robot sensing problem with a mutual…

Robotics · Computer Science 2021-07-20 Micah Corah , Nathan Michael

Automated Vehicles require exhaustive testing in simulation to detect as many safety-critical failures as possible before deployment on public roads. In this work, we focus on the core decision-making component of autonomous robots: their…

Reinforcement learning has received high research interest for developing planning approaches in automated driving. Most prior works consider the end-to-end planning task that yields direct control commands and rarely deploy their algorithm…

Robotics · Computer Science 2023-07-31 Marvin Klimke , Benjamin Völz , Michael Buchholz

As collaborative robots move closer to human environments, motion generation and reactive planning strategies that allow for elaborate task execution with minimal easy-to-implement guidance whilst coping with changes in the environment is…

Motion planning for autonomous robots and vehicles in presence of uncontrolled agents remains a challenging problem as the reactive behaviors of the uncontrolled agents must be considered. Since the uncontrolled agents usually demonstrate…

Systems and Control · Electrical Eng. & Systems 2021-09-21 Yuxiao Chen , Ugo Rosolia , Wyatt Ubellacker , Noel Csomay-Shanklin , Aaron D. Ames

Motion planning and control are two core components of the robotic systems autonomy stack. The standard approach to combine these methodologies comprises an offline/open-loop stage, planning, that designs a feasible and safe trajectory to…

Systems and Control · Electrical Eng. & Systems 2023-10-23 Tianqi Zheng , John W. Simpson-Porco , Enrique Mallada

Navigation and guidance of autonomous vehicles is a fundamental problem in robotics, which has attracted intensive research in recent decades. This report is mainly concerned with provable collision avoidance of multiple autonomous vehicles…

Optimization and Control · Mathematics 2014-01-28 Michael Hoy

We consider a large-scale multi-robot path planning problem in a cluttered environment. Our approach achieves real-time replanning by dividing the workspace into cells and utilizing a hierarchical planner. Specifically, we propose novel…

Robotics · Computer Science 2024-09-25 Lishuo Pan , Kevin Hsu , Nora Ayanian

Collision avoidance in unknown obstacle-cluttered environments may not always be feasible. This paper focuses on an emerging paradigm shift in which potential collisions with the environment can be harnessed instead of being avoided…

Robotics · Computer Science 2020-09-07 Zhouyu Lu , Zhichao Liu , Gustavo J. Correa , Konstantinos Karydis

In this paper a deep reinforcement based multi-agent path planning approach is introduced. The experiments are realized in a simulation environment and in this environment different multi-agent path planning problems are produced. The…

Machine Learning · Computer Science 2021-10-05 Mert Çetinkaya