https://transferlab.ai/series/formal-verification-under-uncertainty/