Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Efficient reactive controller synthesis for a fragment of linear temporal logic  + (Submitted, 2013 International Conference on Robotics and Automation (ICRA))
• Motion planning in observations space with learned diffeomorphism models  + (Submitted, 2013 International Conference on Robotics and Automation (ICRA))

• Efficient reactive controller synthesis for a fragment of linear temporal logic  +
• Motion planning in observations space with learned diffeomorphism models  +