Pages that link to "SURF 2014"
From Murray Wiki
Jump to navigationJump to searchThe following pages link to SURF 2014:
Displayed 6 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed (← links | edit)
- SURF 2014: Improved methods of discretization for temporal logic planning (← links | edit)
- SURF 2014: Rapid prototyping of moderate complexity biomolecular circuits (← links | edit)
- SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers (← links | edit)
- SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning (← links | edit)
- SURF 2014: Fabricating a Toolbox of RNA Thermometers (← links | edit)