paper-with-me

홈 › Papers

A Reward-Petri-Net Interpretation of Temporal Behavior Trees

2026-06-19 · Till Schmeil, Günther Waxenegger-Wilfing, Sebastian Schirmer arxiv

This paper introduces an interpretation of Temporal Behavior Trees (TBTs) as Reward-Petri-Nets (RPNs) for reinforcement learning (RL). Designing reward functions for complex, long-horizon robotic tasks is notoriously difficult, especially when tasks have hierarchical structure and temporal constraints. TBTs extend conventional behavior trees (BTs) used in robotic applications by incorporating temporal properties into their leaf nodes. This allows TBTs to represents not only the behavioral task structure defined by BT operators such as Sequence, Fallback, and Parallel, but also the task's temporal constraints. In this work, the constraints are specified in the leaf nodes using Linear Temporal Logic. In order to inform RL rewards using TBTs, we provide a translation from TBT into a Petri Net (PN) and show how rewards can be automatically assigned based on the TBT's structure, resulting in a RPN. In a series of increasingly challenging environments, we demonstrate how TBT-based rewards enable learning where vanilla RL fails, improve sample efficiency, and offer flexible, intuitive control over the learning progress. We showcase the learning impact by using different reward distribution schemes and TBT structures.

📄 PDF Abstract BibTeX arXiv:2606.21350

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement Learning

Similar Papers 제목 키워드 기반

Petri Net Modeling of the Brain Circuit Involved in Aggressive Behavior

2015-03-18

The purpose of this work in to demonstrate the initial results of a research project having as its goal to develop dynamic models of the brain network involved in aggressive behavior. In this way, the complex neural proc…

Language-Preserving Reduction Rules for Block-Structured Workflow Nets

2022-03-19 · Sander J. J. Leemans

Process models are used by human analysts to model and analyse behaviour, and by machines to verify properties such as soundness, liveness or other reachability properties, and to compare their expressed behaviour with r…

Integrating Fuzzy Set Theory with Pandora Temporal Fault Trees for Dynamic Failure Analysis of Complex Systems

2024-11-14 · Hitesh Khungla, Mohit Kumar

Pandora temporal fault tree, as one notable extension of the fault tree, introduces temporal gates and temporal laws. Pandora Temporal Fault Tree(TFT) enhances the capability of fault trees and enables the modeling of sy…

Orbital Petri Nets: A Novel Petri Net Approach

2018-06-08 · Mohamed Yorky, Aboul Ella Hassanien

Petri Nets is very interesting tool for studying and simulating different behaviors of information systems. It can be used in different applications based on the appropriate class of Petri Nets whereas it is classical, c…

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

2022-03-04 · Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang 외

Semantic rule checking on RDFS/OWL data has been widely used in the construction industry. At present, semantic rule checking is mainly performed on static models. There are still challenges in integrating temporal model…