Pages that link to "SURF 2014"

The following pages link to SURF 2014:

Displayed 6 items.

• SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed ‎ (← links)
• SURF 2014: Improved methods of discretization for temporal logic planning ‎ (← links)
• SURF 2014: Rapid prototyping of moderate complexity biomolecular circuits ‎ (← links)
• SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers ‎ (← links)
• SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning ‎ (← links)
• SURF 2014: Fabricating a Toolbox of RNA Thermometers ‎ (← links)