This research introduces an interval-based reachability method for Neural ODEs leveraging mixed monotonicity to balance verification tightness with computati...
Level: expert
By Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
Category: research