Search by property
From Murray Wiki
Jump to navigationJump to searchThis 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 +
- Robot Navigation in Dense Human Crowds: the Case for Cooperation +
- Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications +
- Synthesis of Control Protocols for Autonomous Systems +
- Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles +
- Synthesis of Reactive Control Protocols for Differentially Flat Systems +
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications +
- Synthesis of Switching Protocols from Temporal Logic Specifications +
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing +
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation +