Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations

BIB
Xue, Bai and Mosaad, Peter Nazier and Fränzle, Martin and Chen, Mingshuai and Li, Yangjia and Zhan, Naijun
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017
2017
inproceedings
Springer
Lecture Notes in Computer Science
281-299