Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
2
0
3
3
Formalizing language-derived robot commands with STL transforms vague instructions into precise, executable plans, enhancing reliability in complex tasks.
Drones can now proactively navigate turbulent environments thanks to a fast wind-prediction framework that integrates geometric perception and local weather data.