Pages that link to "The TerraSwarm Research Center"
From Murray Wiki
Jump to navigationJump to search
The following pages link to The TerraSwarm Research Center:
Displayed 3 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Projects (← links)
- SURF 2014 (← links)
- SRC TerraSwarm (redirect page) (← links)
- Symbolic construction of GR(1) contracts for systems with full information (← links)
- Synthesis from multi-paradigm specifications (← links)
- Online Horizon Selection in Receding Horizon Temporal Logic Planning (← links)
- Reactive Synthesis from Signal Temporal Logic Specifications (← links)
- Variable Elimination for Scalable Receding Horizon Temporal Logic Planning (← links)
- Collaborative System Identification via Parameter Consensus (← links)
- Time-Delayed Feedback Channel Design: Discrete Time H infty Approach (← links)
- Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays (← links)
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications (← links)
- Model Predictive Control for Signal Temporal Logic Specifications (← links)
- Robust Model Predictive Control for Signal Temporal Logic Synthesis (← links)
- Ioannis Filippidis (← links)
- Sumanth Dathathri (← links)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox (← links)
- Enhancing tolerance to unexpected jumps in GR(1) games (← links)
- SURF 2017 (← links)
- Hiding variables when decomposing specifications into GR(1) contracts (← links)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis (← links)
- SRC TerraSwarm, DENSO CPM (← links)
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States (← links)
- Learning-Based Abstractions for Nonlinear Constraint Solving (← links)
- Layering assume-guarantee contracts for hierarchical system design (← links)
- Sanjit Seshia (← links)
- Template:HTDB funding::TerraSwarm (← links)
