Temporal behavior trees: robustness and segmentation

DOI10.1145/3641513.3650180MaRDI QIDQ6993504zbMATH OpenFDO

Authors Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Publication date 25 April 2025

Full work available at URL https://figshare.com/articles/conference_contribution/Temporal_Behavior_Trees_Robustness_and_Segmentation/25879843

zbMATH Keywords

cyber-physical systemoffline analysissegmentationtemporal behavior treestemporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Checking finite traces using alternating automata
• Compositional reasoning using interval temporal logic and Tempura
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• Process logic with regular formulas
• Reactive synthesis from signal temporal logic specifications
• Regular Linear Temporal Logic
• Robust online monitoring of signal temporal logic
• Robust satisfaction of temporal logic over real-valued signals
• Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts
• Synthesis with rational environments
• Temporal logic can be more expressive
• Timed pattern matching

Cited in

(2)

• BT2automata: expressing behavior trees as automata for formal control synthesis
• Temporal behavior trees -- segmentation

This page was built for publication: Temporal behavior trees: robustness and segmentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6993504)