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
• Learning fixed-complexity polyhedral Lyapunov functions from counterexamples  Conference Proceeding
• Non-Gaussian Chance-Constrained Trajectory Control Using Gaussian Mixtures and Risk Allocation  Conference Proceeding