Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations

BIB
Shenghua Feng and Mingshuai Chen and Naijun Zhan and Martin Fränzle and Bai Xue
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
2019
inproceedings
Springer
Lecture Notes in Computer Science
650-669