Mingshuai Chen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Computer Aided Verification	2024-02-16	Paper
What's to come is still unsure. Synthesizing controllers resilient to delayed interaction Automated Technology for Verification and Analysis	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 Information and Computation	2022-12-08	Paper
Does a Program Yield the Right Distribution?	2022-12-07	Paper
Learning one-clock timed automata Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (available as arXiv preprint)	2022-09-20	Paper
Synthesizing invariant barrier certificates via difference-of-convex programming (available as arXiv preprint)	2022-03-25	Paper
Latticed \(k\)-induction with an application to probabilistic programs (available as arXiv preprint)	2022-03-25	Paper
Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control Acta Informatica	2021-09-30	Paper
Unbounded-time safety verification of stochastic differential dynamics (available as arXiv preprint)	2021-02-09	Paper
NIL: learning nonlinear interpolants (available as arXiv preprint)	2020-03-10	Paper
Validated simulation-based verification of delayed differential dynamics	2020-01-03	Paper
Reachability Analysis for Solvable Dynamical Systems IEEE Transactions on Automatic Control	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 Unifying Theories of Programming	2017-04-04	Paper
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF Automated Reasoning	2016-09-05	Paper
Decidability of the reachability for a family of linear vector fields Automated Technology for Verification and Analysis	2016-01-08	Paper

Research outcomes over time

This page was built for person: Mingshuai Chen