Safety Verification By Interval Based Quantified Constraint Solving,

Number of the records: 1

1.

SYSNO ASEP	0473970
Document Type	A - Abstract
R&D Document Type	The record was not marked in the RIV
R&D Document Type	Není vybrán druh dokumentu
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. - Uppsala University, 2016 S. 107-108
Number of pages	2 s.
Action	SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./
Event date	26.09.2016 - 29.09.2016
VEvent location	Uppsala
Country	SE - Sweden
Event type	WRD
Language	eng - English
Country	SE - Sweden
Keywords	ordinary differential equations ; safety verification ; constraints ; constraint solving
R&D Projects	GA15-14484S GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2018

Number of the records: 1