The following pages link to Sadra Sadraddini (Q4561446):
Displayed 5 items.
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis (Q4561447) (← links)
- Formal Synthesis of Control Strategies for Positive Monotone Systems (Q4629806) (← links)
- Compositional synthesis via a convex parameterization of assume-guarantee contracts (Q5146379) (← links)
- Robust output feedback control with guaranteed constraint satisfaction (Q5146390) (← links)
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications (Q6120703) (← links)