LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.

Ernesto Casablanca, Oliver Schn, Paolo Zuliani, Sadegh Soudjani

Browse the full AAAI paper archive.