]> 2026-07-12T16:13:26+00:00 The TerraSwarm Research Center 0 en STARnet 2018-01-14Z 2458132.5 SRC TerraSwarm 2013-01-15Z 2456307.5 2022-12-11T02:24:53Z 2459924.6006134 The TerraSwarm Research Center 0 1 template 3 [[Category:Papers]] [[Funding::The TerraSwarm Research Center]] The TerraSwarm Research Center# QUERY909a5bfe99f187bc65180637decb4e7c 0 1 template 2 [[Previous projects::The TerraSwarm Research Center]] The TerraSwarm Research Center# QUERY6b1d88179334252ee76227c815fba0b1 0 1 template 3 [[Category:Collaborators]] [[Projects::The TerraSwarm Research Center]] The TerraSwarm Research Center# QUERY6978b87e757c1e61f7acb9e575d3c6bf Symbolic construction of GR(1) contracts for systems with full information 0 en Symbolic construction of GR(1) contracts for systems with full information Synthesis from multi-paradigm specifications 0 en Synthesis from multi-paradigm specifications Online Horizon Selection in Receding Horizon Temporal Logic Planning 0 en Online Horizon Selection in Receding Horizon Temporal Logic Planning Reactive Synthesis from Signal Temporal Logic Specifications 0 en Reactive Synthesis from Signal Temporal Logic Specifications Variable Elimination for Scalable Receding Horizon Temporal Logic Planning 0 en Variable Elimination for Scalable Receding Horizon Temporal Logic Planning Collaborative System Identification via Parameter Consensus 0 en Collaborative System Identification via Parameter Consensus Time-Delayed Feedback Channel Design: Discrete Time H infty Approach 0 en Time-Delayed Feedback Channel Design: Discrete Time H infty Approach Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays 0 en Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications 0 en Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications Model Predictive Control for Signal Temporal Logic Specifications 0 en Model Predictive Control for Signal Temporal Logic Specifications Robust Model Predictive Control for Signal Temporal Logic Synthesis 0 en Robust Model Predictive Control for Signal Temporal Logic Synthesis Control design for hybrid systems with TuLiP: The temporal logic planning toolbox 0 en Control design for hybrid systems with TuLiP: The temporal logic planning toolbox Enhancing tolerance to unexpected jumps in GR(1) games 0 en Enhancing tolerance to unexpected jumps in GR(1) games Hiding variables when decomposing specifications into GR(1) contracts 0 en Hiding variables when decomposing specifications into GR(1) contracts Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis 0 en Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis SRC TerraSwarm, DENSO CPM 0 en SRC TerraSwarm, DENSO CPM Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States 0 en Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States Learning-Based Abstractions for Nonlinear Constraint Solving 0 en Learning-Based Abstractions for Nonlinear Constraint Solving Layering assume-guarantee contracts for hierarchical system design 0 en Layering assume-guarantee contracts for hierarchical system design Ioannis Filippidis 0 en Ioannis Filippidis Sumanth Dathathri 0 en Sumanth Dathathri Alberto Sangiovanni-Vincentelli 0 en Alberto Sangiovanni-Vincentelli Sanjit Seshia 0 en Sanjit Seshia SRC TerraSwarm 0 en SRC TerraSwarm Funding 102 en Funding Previous projects 102 en Previous projects Projects 102 en Projects REDI 102 en REDI