"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI
Delayed Dynamical/Hybrid Systems, Reachability Computation, Program Verification, Interpolant/Invariant Synthesis
. Bai Xue, Peter N. Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li and Naijun Zhan (2017): Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. To appear in Proc. of FORMATS 2017.
. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, and Naijun Zhan (2016): Validated Simulation-Based Verification of Delayed Differential Dynamics. In Proc. of FM 2016,