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.

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems

Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu. Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Asp. Comput., 33(3):343-384, 2021. [doi]

Authors

Zhibin Yang

This author has not been identified. Look up 'Zhibin Yang' in Google

Yang Bao

This author has not been identified. Look up 'Yang Bao' in Google

Yongqiang Yang

This author has not been identified. Look up 'Yongqiang Yang' in Google

Zhiqiu Huang

This author has not been identified. Look up 'Zhiqiu Huang' in Google

Jean-Paul Bodeveix

This author has not been identified. It may be one of the following persons: Look up 'Jean-Paul Bodeveix' in Google

Mamoun Filali

This author has not been identified. It may be one of the following persons: Look up 'Mamoun Filali' in Google

Zonghua Gu

This author has not been identified. Look up 'Zonghua Gu' in Google
runs on