AVIATE Seminar “α,β-CROWN: A Formal Verification Framework for Neural Networks with Applications in Control and Planning”