Bayesian Filtering for ODEs with Bounded Derivatives | Read Paper on Bytez