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

• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (Submitted, 2014 International Conference on Robotics and Automation (ICRA))
• Moving bounding boxes and incremental synthesis for dynamic obstacles  + (Submitted, 2014 International Conference on Robotics and Automation (ICRA))

• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  +
• Moving bounding boxes and incremental synthesis for dynamic obstacles  +