Počet záznamů: 1
Computing ODE-Barriers in Hyper-Rectangles
- 1.RATSCHAN, S. Computing ODE-Barriers in Hyper-Rectangles. In: ÁBRAHÁM, E., BOGOMOLOV, S., eds. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Piscataway: IEEE, 2016, č. článku 7479380. ISBN 978-1-5090-3079-8. Dostupné z: doi: 10.1109/SNR.2016.7479380
Počet záznamů: 1