Eric Goubault, Sylvie Putot, Lorenz Sahlmann
Inner and Outer Approximating Flowpipes for Delay Differential Equations
CAV, 2018.
@inproceedings{CAV-2018-GoubaultPS, author = "Eric Goubault and Sylvie Putot and Lorenz Sahlmann", booktitle = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part II}", doi = "10.1007/978-3-319-96142-2_31", isbn = "['978-3-319-96141-5', '978-3-319-96142-2']", pages = "523--541", publisher = "{Springer}", title = "{Inner and Outer Approximating Flowpipes for Delay Differential Equations}", year = 2018, }