Search papers, labs, and topics across Lattice.
1
0
3
Achieve correct-by-construction control for autonomous systems by encoding Temporal Behavior Trees with ternary logic, allowing for reasoning about partial satisfaction of temporal specifications.
