Basket

    1.
    0461476 - ÚI 2017 RIV US eng C - Conference Paper (international conference)
    Ratschan, Stefan
    Computing ODE-Barriers in Hyper-Rectangles.
    Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Piscataway: IEEE, 2016 - (Ábrahám, E.; Bogomolov, S.), č. článku 7479380. ISBN 978-1-5090-3079-8.
    [SNR 2016. International Workshop on Symbolic and Numerical Methods for Reachability Analysis. Vienna (AT), 11.04.2016-11.04.2016]
    R&D Projects: GA ČR GA15-14484S
    Institutional support: RVO:67985807
    Keywords : verification * differential equations
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0261121
    FileDownloadSizeCommentaryVersionAccess
    a0461476.pdf0221.6 KBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all