Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2019 | Conference Paper | IST-REx-ID: 6035 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

keyword="lazy computation"

Search

Filter Publications

  • Display / Sort

    Citation Style: ISTA Annual Report

    Export / Embed