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.

Search by property

A list of pages that have property "Funding" with value "Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems" annotated.

Showing below up to 10 results starting with #21.

View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)


    

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  +
Retrieved from "https://murray.cds.caltech.edu/Special:SearchByProperty"

Navigation menu

Page actions

  • Special page

Page actions

  • Special page
  • Tools
  • In other languages

Personal tools

  • Not logged in
  • Talk
  • Contributions
  • Log in

Navigation

  • Main Page
  • Courses
  • Events
  • Preprints
  • Projects

 

Tools

  • Special pages
  • Printable version
Powered by MediaWikiPowered by Semantic MediaWiki
  • Privacy policy
  • About Murray Wiki
  • Disclaimers