A Platzer - 2012 27th Annual IEEE Symposium on Logic in …, 2012 - ieeexplore.ieee.org
We study the logic of dynamical systems, that is, logics and proof principles for properties of
dynamical systems. Dynamical systems are mathematical models describing how the state …