中文
相关论文

相关论文: BehaVerify: Verifying Temporal Logic Specification…

200 篇论文

In this work, we propose an LLM-based BT generation framework to leverage the strengths of both for sequential manipulation planning. To enable human-robot collaborative task planning and enhance intuitive robot programming by nonexperts,…

机器人学 · 计算机科学 2024-09-17 Jicong Ao , Yansong Wu , Fan Wu , Sami Haddadin

In modern industrial collaborative robotic applications, it is desirable to create robot programs automatically, intuitively, and time-efficiently. Moreover, robots need to be controlled by reactive policies to face the unpredictability of…

机器人学 · 计算机科学 2023-03-21 Matteo Iovino , Jonathan Styrud , Pietro Falco , Christian Smith

Tree-ensemble algorithms, such as random forest, are effective machine learning methods popular for their flexibility, high performance, and robustness to overfitting. However, since multiple learners are combined, they are not as…

机器学习 · 计算机科学 2023-01-09 Klest Dedja , Felipe Kenji Nakano , Konstantinos Pliakos , Celine Vens

Workflow mining discovers hierarchical process trees from event logs, but it remains unclear why such models satisfy or violate logical properties, or how individual elements contribute to overall behavior. We propose to translate mined…

软件工程 · 计算机科学 2025-12-11 Radoslaw Klimek , Jakub Blazowski

The diversity of agent behaviors is an important topic for the quality of video games and virtual environments in general. Offering the most compelling experience for users with different skills is a difficult task, and usually needs…

人工智能 · 计算机科学 2019-09-11 Ciprian Paduraru , Miruna Paduraru

As complex autonomous robotic systems become more widespread, the need for transparent and reusable Artificial Intelligence (AI) designs becomes more apparent. In this paper we analyse how the principles behind Behavior Trees (BTs), an…

人工智能 · 计算机科学 2021-05-26 Oliver Biggar , Mohammad Zamani , Iman Shames

Laboratory robotics offer the capability to conduct experiments with a high degree of precision and reproducibility, with the potential to transform scientific research. Trivial and repeatable tasks; e.g., sample transportation for analysis…

Verified explanations are a principled way to explain the decisions taken by neural networks, which are otherwise black-box in nature. However, these techniques face significant scalability challenges, as they require multiple calls to…

机器学习 · 计算机科学 2026-05-11 Alessandro De Palma , Greta Dolcetti , Caterina Urban

Behavior Trees (BTs) are becoming a popular tool to model the behaviors of autonomous agents in the computer game and the robotics industry. One of the key advantages of BTs lies in their composability, where complex behaviors can be built…

机器人学 · 计算机科学 2020-07-16 Michele Colledanchise , Lorenzo Natale

We propose a hybrid combination of active inference and behavior trees (BTs) for reactive action planning and execution in dynamic environments, showing how robotic tasks can be formulated as a free-energy minimization problem. The proposed…

机器人学 · 计算机科学 2022-11-28 Corrado Pezzato , Carlos Hernandez Corbato , Stefan Bonhof , Martijn Wisse

\textbf{BEAVR} is an open-source, bimanual, multi-embodiment Virtual Reality (VR) teleoperation system for robots, designed to unify real-time control, data recording, and policy learning across heterogeneous robotic platforms. BEAVR…

机器人学 · 计算机科学 2025-08-14 Alejandro Posadas-Nava , Alejandro Carrasco , Richard Linares

This paper presents a novel approach to generating behavior trees for robots using lightweight large language models (LLMs) with a maximum of 7 billion parameters. The study demonstrates that it is possible to achieve satisfying results…

机器人学 · 计算机科学 2025-01-08 Riccardo Andrea Izzo , Gianluca Bardaro , Matteo Matteucci

We present BehAV, a novel approach for autonomous robot navigation in outdoor scenes guided by human instructions and leveraging Vision Language Models (VLMs). Our method interprets human commands using a Large Language Model (LLM) and…

To assist game developers in crafting game NPCs, we present EvolvingBehavior, a novel tool for genetic programming to evolve behavior trees in Unreal Engine 4. In an initial evaluation, we compare evolved behavior to hand-crafted trees…

神经与进化计算 · 计算机科学 2022-09-05 Nathan Partlan , Luis Soto , Jim Howe , Sarthak Shrivastava , Magy Seif El-Nasr , Stacy Marsella

Traditional robot simulators focus on physical process modeling and realistic rendering, often suffering from high computational costs, inefficiencies, and limited adaptability. To handle this issue, we concentrate on behavior simulation in…

机器人学 · 计算机科学 2025-09-09 Jianan Wang , Bin Li , Jingtao Qi , Xueying Wang , Fu Li , Hanxun Li

We introduce a novel framework for automatic behavior tree (BT) construction in heterogeneous multi-robot systems, designed to address the challenges of adaptability and robustness in dynamic environments. Traditional robots are limited by…

机器人学 · 计算机科学 2025-10-14 Chaoran Wang , Jingyuan Sun , Yanhui Zhang , Mingyu Zhang , Changju Wu

To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval…

机器人学 · 计算机科学 2019-12-02 Klemens Esterle , Vincent Aravantinos , Alois Knoll

Robotic assembly tasks remain an open challenge due to their long horizon nature and complex part relations. Behavior trees (BTs) are increasingly used in robot task planning for their modularity and flexibility, but creating them manually…

机器人学 · 计算机科学 2025-06-19 Jicong Ao , Fan Wu , Yansong Wu , Abdalla Swikir , Sami Haddadin

This paper presents an innovative exploration of the application potential of large language models (LLM) in addressing the challenging task of automatically generating behavior trees (BTs) for complex tasks. The conventional manual BT…

计算与语言 · 计算机科学 2024-01-17 Fu Li , Xueying Wang , Bin Li , Yunlong Wu , Yanzhen Wang , Xiaodong Yi

In this paper we will give a control theoretic perspective on the research area of behavior trees in robotics. The key idea underlying behavior trees is to make use of modularity, hierarchies and feedback, in order to handle the complexity…

机器人学 · 计算机科学 2022-03-25 Petter Ögren , Christopher I. Sprague