Mingshuai Chen

Available identifiers

zbMath Open chen.mingshuaiMaRDI QIDQ832192

List of research outcomes

Publication	Date of Publication	Type
Probabilistic program verification via inductive synthesis of inductive invariants	2024-04-05	Paper
Taming delays in dynamical systems. Unbounded verification of delay differential equations	2024-02-16	Paper
What's to come is still unsure. Synthesizing controllers resilient to delayed interaction	2023-07-28	Paper
Lower Bounds for Possibly Divergent Probabilistic Programs	2023-02-12	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming	2022-12-08	Paper
Does a Program Yield the Right Distribution?	2022-12-07	Paper
Learning One-Clock Timed Automata	2022-10-13	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming	2022-09-20	Paper
Synthesizing invariant barrier certificates via difference-of-convex programming	2022-03-25	Paper
Latticed \(k\)-induction with an application to probabilistic programs	2022-03-25	Paper
Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control	2021-09-30	Paper
Unbounded-time safety verification of stochastic differential dynamics	2021-02-09	Paper
NIL: learning nonlinear interpolants	2020-03-10	Paper
Validated simulation-based verification of delayed differential dynamics	2020-01-03	Paper
Reachability Analysis for Solvable Dynamical Systems	2018-09-18	Paper
Safe over- and under-approximation of reachable sets for delay differential equations	2017-12-01	Paper
A Two-Way Path Between Formal and Informal Design of Embedded Systems	2017-04-04	Paper
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF	2016-09-05	Paper
Decidability of the Reachability for a Family of Linear Vector Fields	2016-01-08	Paper

Research outcomes over time

This page was built for person: Mingshuai Chen