related documents

• Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts  Conference Proceeding
• Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics  Conference Proceeding
• Feedback-Based Optimization of Power Systems: Resilience to Persistent Attacks  Conference Proceeding
• Learning fixed-complexity polyhedral Lyapunov functions from counterexamples  Conference Proceeding
• Non-Gaussian Chance-Constrained Trajectory Control Using Gaussian Mixtures and Risk Allocation  Conference Proceeding
• Online Stochastic Gradient Methods Under Sub-Weibull Noise and the Polyak-Lojasiewicz Condition  Conference Proceeding