Safety Verification By Interval Based Quantified Constraint Solving,

Number of the records: 1

1.

SYSNO	0473970
Title	Safety Verification By Interval Based Quantified Constraint Solving,
Author(s)	Franek, Peter (UIVT-O)_RID Kuřátko, Jan (UIVT-O)_{RID, SAI, ORCID} Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Source Title	SCAN 2016. Book of Abstracts. S. 107-108. - Uppsala University, 2016
Conference	SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./, 26.09.2016 - 29.09.2016, Uppsala
Document Type	Abstrakt
Grant	GA15-14484S GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	SE
Keywords	ordinary differential equations * safety verification * constraints * constraint solving
Permanent Link	http://hdl.handle.net/11104/0271070

	File	Download	Size	Commentary	Version	Access
	a0473970.pdf	0	2 MB		Publisher’s postprint	open-access

Number of the records: 1