Pages that link to "SURF 2014"
From Murray Wiki
Jump to navigationJump to search
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)
