Thao Dang, David Salinas
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
CAV, 2009.
@inproceedings{CAV-2009-DangS, author = "Thao Dang and David Salinas", booktitle = "{Proceedings of the 21st International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-02658-4_19", isbn = "978-3-642-02657-7", pages = "219--232", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion}", volume = 5643, year = 2009, }