Compositional synthesis of control barrier certificates for networks of stochastic systems against ω-regular specifications

被引：0

作者：

Anand, Mahathi ^{[1
]}

Lavaei, Abolfazl ^{[2
]}

Zamani, Majid ^{[1
,3
]}

机构：

[1] Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany

[2] School of Computing, Newcastle University, United Kingdom

[3] Computer Science Department, University of Colorado Boulder, United States

来源：

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Specifications

引用