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
- Reactive Protocols for Aircraft Electric Power Distribution +
- Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications +
- Synthesis of Reactive Control Protocols for Differentially Flat Systems +
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation +
- On Synthesizing Robust Discrete Controllers under Modeling Uncertainty +
- Synthesis of Switching Protocols from Temporal Logic Specifications +
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing +
- Backtracking temporal logic synthesis for uncertain environments +
- Distributed Power Allocation for Vehicle Management Systems +
- Optimization-Based Navigation for the DARPA Grand Challenge +