@misc{HartmannNeureitherStrehlau, author = {Hartmann, Carsten and Neureither, Lara and Strehlau, Markus}, title = {Reachability Analysis of Randomly Perturbed Hamiltonian Systems}, series = {IFAC PapersOnLine}, volume = {54}, journal = {IFAC PapersOnLine}, number = {19}, issn = {2405-8963}, doi = {10.1016/j.ifacol.2021.11.095}, pages = {307 -- 314}, language = {en} }