related documents

• Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations  Conference Proceeding
• Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions  Conference Proceeding
• Convex Optimization over Sequential Linear Feedback Policies with Continuous-time Chance Constraints  Conference Proceeding
• Verification of Switched Stochastic Systems via Barrier Certificates  Conference Proceeding