Search papers, labs, and topics across Lattice.
1
0
2
Verified safety properties for multi-agent communication policies can be reliably transferred from decision trees to neural networks, ensuring safer deployment in critical robotic systems.
