@entry{imm-15-aa, author = {F Immler}, title = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.}, journal = {ARCH@ CPSWeek,}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://easychair.org/publications/download/nVRl}}}, quotes = {... approximations of transcendental functions) and affine arithmetic, including verified algorithms for ... in the sense that respective operations in eg affine arithmetic always enclose the \uc{201c}real\uc{201d} ...} }