Počet záznamů: 1
Computing ODE-Barriers in Hyper-Rectangles
- 1.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]
http://hdl.handle.net/11104/0261121
Počet záznamů: 1