Myopically Verifiable Probabilistic Certificate for Long-term Safety.

Zhuoyuan Wang Haoming Jing Christian Kurniawan Albert Chern Yorie Nakahira

Published in: ACC (2022)

Keyphrases

long term
short term
probabilistic model
uncertain data
bayesian networks
generative model
probabilistic logic
databases
information theoretic
data sets
artificial intelligence
clustering algorithm
expert systems
data driven
sufficient conditions
context sensitive