C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
autonomous systems
safety critical
formal methods
fault tolerant
situation awareness
dynamic environments
artificial intelligence
support systems
learning systems
agent architecture
real time
video sequences
intelligent systems
context aware
embedded systems