Computing ODE-Barriers in Hyper-Rectangles

Počet záznamů: 1

1.

SYSNO	0461476
Název	Computing ODE-Barriers in Hyper-Rectangles
Tvůrce(i)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). - Piscataway : IEEE, 2016 / Ábrahám E. ; Bogomolov S.
Konference	SNR 2016. International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 11.04.2016, Vienna - 11.04.2016
Číslo článku	7479380
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA15-14484S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	verification * differential equations
Trvalý link	http://hdl.handle.net/11104/0261121

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0461476.pdf	0	221.6 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1