"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI
Modelling · Verification · Synthesis of Hybrid Systems: Reachability Computation; Program Reasoning; Interpolant/Invariant Synthesis; Time-Delayed Systems
 Martin Fränzle, Mingshuai Chen, and Paul Kröger (2019): In memory of Oded Maler: Automatic reachability analysis of hybrid-state automata. In ACM SIGLOG News, vol. 6, no. 1, pp. 19-39.
 Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, and Naijun Zhan (2018): What's to come is still unsure: Synthesizing controllers resilient to delayed interaction. In Proc. of ATVA 2018,