Search by property
From Murray Wiki
Jump to navigationJump to search
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
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis + (Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
- Online Horizon Selection in Receding Horizon Temporal Logic Planning + (Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
- Cross-entropy Temporal Logic Motion Planning + (Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
