Mingshuai Chen

Available identifiers

zbMath Open chen.mingshuaiMaRDI QIDQ832192

List of research outcomes

Publication	Date of Publication	Type
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mingshuai Chen