Yangjia Li

Available identifiers

Publication	Date of Publication	Type
Formal verification of quantum algorithms using quantum Hoare logic	2024-02-16	Paper
What's to come is still unsure. Synthesizing controllers resilient to delayed interaction	2023-07-28	Paper
Robust non-termination analysis of numerical software	2023-05-26	Paper
A proof system for disjoint parallel quantum programs	2021-12-01	Paper
Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control	2021-09-30	Paper
Validated simulation-based verification of delayed differential dynamics	2020-01-03	Paper
Approximate bisimulation and discretization of hybrid CSP	2020-01-03	Paper
Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems	2018-10-28	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
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems	2017-09-06	Paper
Model-Checking Linear-Time Properties of Quantum Systems	2015-09-17	Paper
(Un)decidable Problems about Reachability of Quantum Systems	2014-09-15	Paper
Termination of nondeterministic quantum programs	2014-06-12	Paper

This page was built for person: Yangjia Li