DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v35i13.17372,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees