Ternary logic encodings of temporal behavior trees enable mixed-integer linear programming for correct-by-construction control synthesis in linear systems.
Optimization-based task and motion planning under signal temporal logic specifications using logic network flow,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
Ternary logic encodings of temporal behavior trees enable mixed-integer linear programming for correct-by-construction control synthesis in linear systems.