IEEE Conference on Decision and Control (CDC) Conference

Publications

related documents

• Compositional verification of large-scale stochastic systems  Conference Proceeding