AI.info

Thom Badings

Explore Thom Badings on AI.info.

• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation