Von Newton und Turing zu cyber-physischen Systemen: https://www.mpg.de/11867550/mpi-sws_jb_2017
Die Gruppe Foundations of Algorithmic Verification konzentriert sich auf eine Reihe von fundamentalen algorithmischen Problemen für dynamische Systeme, mit dem übergreifenden Ziel, eine systematische exakte rechnerische Behandlung verschiedener wichtiger Klassen solcher Systeme und anderer fundamentaler Modelle, die in der Mathematik, Informatik und der quantitativen Wissenschaften verwendet werden, anzubieten.
Afrika English Max-Planck-Gesellschaft Von Newton