External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions

Abolfazl Lavaei, Majid Zamani. Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 2574-2579, IEEE, 2019. [doi]

Authors

Abolfazl Lavaei

This author has not been identified. Look up 'Abolfazl Lavaei' in Google

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google
runs on