Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
safety
Validated Simulation-Based Verification of Delayed Differential Dynamics
Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Poster
Slides
DOI
«
Cite
×
