Yang Bao

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Autonomous Systems

Video Sequences

Situation Awareness

Top Venues

Formal Aspects Comput.

Publications

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 Aspects Comput. 33 (3) (2021)