Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis

Name: Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
Uploaded: 2026-10-06T22:15:28.911584+00:00
Duration: 385 s
Description: This work reformulates Behavior Trees using ternary logic (K3) to formally specify and verify them. It introduces mixed-integer encodings for partial trajectory Signal Temporal Logic, allowing for correct-by-construction control synthesis via optimization. This enables solving optimal control problems subject to temporal constraints.

This work reformulates Behavior Trees using ternary logic (K3) to formally specify and verify them. It introduces mixed-integer encodings for partial trajectory Signal Temporal Logic, allowing for correct-by-construction control synthesis via optimization. This enables solving optimal control problems subject to temporal constraints.

Open the full episode