New book on formal methods for dynamical systems
Our book
Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017 (ISBN: 978-3-319-50762-0) has been published and is available at: https://link.springer.com/book/10.1007/978-3-319-50763-7
